Quando ho risposto ho fatto questo ragionamento a spanne.
$sqrt(2-sqrt2)≈sqrt(3/5)≈3/4<\pi/4$.
Però ora provando a formalizzare un po' mi sono accorto che $sqrt(2-sqrt2)>3/4$, contrariamente a quanto pensavo, però ho visto che $sqrt(2-sqrt2)<31/40$, volendo si può formalizzare ma lo farei solo perchè l'ho visto quindi sarebbe come barare