Ostrowski–Hadamard_gap_theorem loading ...