[math-fun] J Edgar Hoover's Erdos number is lower than yours