Quería saber si existen algunos métodos estándar para demostrar que una expresión algebraica es positiva.
Por ejemplo, ¿cómo podría demostrar que $\dfrac{9\pi^2}{16}-\dfrac{1}{\sqrt{2}}>0$ sin utilizar aproximaciones de $\pi$ o $\sqrt{2}$ . Gracias de antemano :)