= Ivan Niven
{c}
<Ivan Niven> wrote a celebrated elementary proof of the <Irrationality of pi>. His one-page 1947 article turns a hypothetical rational expression for $\pi$ into an impossible integer integral.<A simple proof that pi is irrational by Ivan Niven>[Original byline and complete proof, p. 509]{ref}
A factorial-normalized <polynomial> has integer-valued endpoint derivatives under the assumption $\pi=a/b$. Repeated <integration by parts> makes its integral against $\sin x$ an integer. Yet positivity and the factorial denominator make that same integral lie strictly between zero and one for sufficiently large degree. The contradiction demonstrates how carefully designed analytic estimates can establish an arithmetic fact.<A simple proof that pi is irrational by Ivan Niven>[Equation 1 and final bound]{ref}
Back to article page
