For each integer $n \ge 1$, prove that there is a polynomial $P_{n}(x)$ with rational coefficients such that $x^{4n}(1-x)^{4n}=(1+x)^{2}P_{n}(x)+(-1)^{n}4^{n}$. Define the rational number $a_{n}$ by \[a_{n}= \frac{(-1)^{n-1}}{4^{n-1}}\int_{0}^{1}P_{n}(x) \; dx,\; n=1,2, \cdots.\] Prove that $a_{n}$ satisfies the inequality \[\left\vert \pi-a_{n}\right\vert < \frac{1}{4^{5n-1}}, \; n=1,2, \cdots.\]