MathDB
2017 Team #8: floor(alpha^n) is divisible by 2017

Source:

February 19, 2017
floor function

Problem Statement

Does there exist an irrational number α>1\alpha > 1 such that αn0(mod2017)\lfloor \alpha^n \rfloor \equiv 0 \pmod{2017} for all integers n1n \ge 1?