<s>[INST] Is there an integral that proves $\pi > 333/106$? The following integral,
$$ \int_0^1 \frac{x^4(1-x)^4}{x^2 + 1} \mathrm{d}x = \frac{22}{7} - \pi $$
is clearly positive, which proves that $\pi < 22/7$.
Is there a similar integral which proves $\pi > 333/106$?
 [/INST] Let us consider the polynomial
$$P_n(x):=1-x^2+x^4-x^6+\cdots x^{2n-2}=\frac{x^{2n}+1}{x^2+1}.$$
We have
$$0<\int_0^1\left(\frac{P_n(x)}{x^2+1}-\frac1{x^2+1}\right)^2dx<\int_0^1\left(\frac{x^{2n}}{0+1}\right)^2dx=\frac1{4n+1},$$ and the integral can be made as small as desired.
On another hand, the remainder of the long division of $(P_n(x)-1)^2$ by $(x^2+1)^2$ is a binomial $ax^2+b$, with $a,b$ integer. Then
$$\int_0^1\left(\frac{P_n(x)}{x^2+1}-\frac1{x^2+1}\right)^2dx=\int_0^1\left(Q(x)+\frac{ax^2+b}{(x^2+1)^2}\right)dx.$$
As
$$\int_0^1\frac{ax^2+b}{(x^2+1)^2}dx=\frac{b-a}4+\frac{b+a}8\pi$$
we can get arbitrarily close rational approximations by a rational integral.

For example, with $P_2:=1-x^2+x^4$ we have
$$\frac{(x^4-x^2)^2}{(x^2+1)^2}=x^4-4x^2+8-\frac{12x^2+8}{(x^2+1)^2}$$ so that by integration
$$0<\frac15-\frac43+8-\frac{5\pi}2+1<\frac19$$ or
$$\frac{698}{225}<\pi<\frac{236}{75}.$$
</s>