Irrationality of pi

ID: irrationality-of-pi

Assuming and integrating a suitably normalized polynomial times produces a positive integer that tends to zero as the polynomial degree grows. This contradiction proves that is an irrational number.

New to topics? Read the docs here!