Lehman en 1960; el contraejemplo más pequeño es "n" = 906.150.257, encontrado por Minoru Tanaka en 1980.