Ostrowski–Hadamard gap theorem
 
x
OK