Can one use sagemath to prove an inequality?

asked 0 years ago

anonymous user

Anonymous

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

Preview: (hide)