 Solution

Assume for contradiction that $\pi =a/b$ with positive integers $a,b$. DefineandThe coefficient of $x^{n+j}$ in $F_n$ isConsequently every derivative $F_n^{(k)}(0)$ is an integer: it is zero unless $n\le k\le 2n$, and in that range the factor $k!/n!$ clears the denominator. Since $F_n(\pi -x)=F_n(x)$, every $F_n^{(k)}(\pi )$ is also an integer.

Repeated integration by parts, ending when derivatives above degree $2n$ vanish, givesThus $I_n$ is an integer. It is strictly positive because $F_n(x)\sin x>0$ for $0<x<\pi$.

On the other hand, $x(\pi -x)\le {\pi }^2/4$, soThe factorial-over-power series implies that the right-hand side tends to zero. For all sufficiently large $n$ this says that the positive integer $I_n$ is less than one, a contradiction. Therefore the Irrationality of pi is established: