## Why π is irrational (part 4 of 5)

In this post I show that the integral is an integer.

1. Outline
2. A polynomial and its derivatives
3. A new function
4. The integral is an integer
5. The size of the integral (pending)

We start by noting that



We now use this result to evaluate the integral:



We have already shown that F(π) and F(0) are both integers, so the integral is an integer.