Mahler (1953), §4 (13): $|\pi-p/q|>10^{-8.9101n}q^{-10}$ when $p<4q$, $n\ge50$, $10^{2.9245n}>q^{10}$

Initializing...

Mahler (1953), §4 (13): $|\pi-p/q|>10^{-8.9101n}q^{-10}$ when $p<4q$, $n\ge50$, $10^{2.9245n}>q^{10}$ · Prove2Me