Proof that π is irrational (source code)

= Proof that π is irrational
{wiki}

= Irrationality of pi
{c}
{synonym}

Assuming $\pi=a/b$ and integrating a suitably normalized polynomial times $\sin x$ produces a positive integer that tends to zero as the polynomial degree grows. This contradiction proves that $\pi$ is an <irrational number>.