一个不等式猜测的完善及证明

宿老师在文[1]最后提出了如下猜测： 猜测 设x,y,z∈R^＋,当0〈α≤log2 3时，有（x/2x＋y＋z）^a＋（y/x＋2y＋z）^a＋（z/x＋y＋2z）^a≤3/4a;