Direkt mit der Definition von π, dass also π/2 die erste positive Nullstelle der durch die Potenzreihe erklaerten Kosinus-Funktion ist, geht es so:
Fuer 0<x≤3 gilt (vgl. Abbruchfehlerabschaetzung im Leibniz-Kriterium für alternierende Reihen) cosx>1−2x2+24x4−720x6= : C6(x). Die Gleichung C6(x)=0 kann man durch die Substitution z=x2 auf eine dritten Grades zurueckfuehren und mit Cardano loesen. Als einzige positive Nullstelle erhaelt man ξ≈1,5699, also π>2ξ>3.
(Von den Taylorpolynomen mit kleinerem Grad kommt nur C2(x) als untere Schranke infrage. Die Anschaetzung damit ist aber zu schlecht.)