Talk:Ostrowski–Hadamard gap theorem