下界を 3(x+y+z)/w−1=2(x+y+z)/w+(x+y+z)/w−13(x+y+z)/w-1=2(x+y+z)/w+(x+y+z)/w-13(x+y+z)/w−1=2(x+y+z)/w+(x+y+z)/w−1 と分ける。最後の比が3以上なので 2(x+y+z)/w+22(x+y+z)/w+22(x+y+z)/w+2 以上となり、要求された右辺である。 (x+y+z)/w≥3(x+y+z)/w\ge3(x+y+z)/w≥3