Fuente TeX:

x^2+y^2+z^2\leq2 \implies \rho^2+z^2\leq2 \implies z^2 \leq 2 - \rho^2