Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Can one use sagemath to prove an inequality?

How one can use Sagemath to prove that xy2+15xz+yz2+15xy+zx2+15zy34 for all x>0,y>0,z>0?