assume a*b*c=1,
a,b,c>0
prove: