Un teorema de Siegel afirma que
Si $\beta>0$ $2^\beta,\,3^\beta,\,5^\beta$ son enteros, entonces $\beta$ es un número entero.
El siguiente resultado es una hermosa consecuencia de este teorema
Si $\beta$ es un número positivo tal que $1^\beta,\,2^\beta,\,3^\beta,\,\dotsc$ son enteros, entonces $\beta$ es en sí mismo es un número entero.
Estoy buscando una prueba de este resultado.
Nota. Este resultado apareció como un problema en el 1972 Putnam Premio de la competencia, y no uno de los más de 2000 estudiantes de la universidad de los competidores le dio una solución; la solución, aunque no es difícil, bien podría eludir incluso un matemático profesional durante varias horas (o días).