The Dalzell-Integral reads:
$$0<\int_0^1\frac{x^4(1-x)^4}{1+x^2}dx=\frac{22}{7}-\pi$$
It proves that $\pi<\frac{22}{7}$.
See also Wikipedia. It was introduced by D.P.Dalzell in 1944 (see Wikipedia).
My question: Who was D.P. Dalzell? Any information on him or her?
In the Paul J. Nahin's book Inside Interesting Integrals, p. 24, it is said