asked 0 years ago
Anonymous
How one can use Sagemath to prove that x√y2+15xz+y√z2+15xy+z√x2+15zy≥34 for all x>0,y>0,z>0?