xlnx+ylny+zlnz>(x+y+z)ln[(x+y+z)/3]
先化简左右两边,再由左减右不就推出来了吗?