For each integer n≥1, prove that there is a polynomial Pn(x) with rational coefficients such that x4n(1−x)4n=(1+x)2Pn(x)+(−1)n4n. Define the rational number an by an=4n−1(−1)n−1∫01Pn(x)dx,n=1,2,⋯. Prove that an satisfies the inequality ∣π−an∣<45n−11,n=1,2,⋯.