(a^b)^cは、a=b=c=1で1という値をとるので、1以上になる場合にのみ、興味がある。
bcが正であることを考えると、a≧1を考えれば十分
(x>0のとき、x^yは、単調増加(x>1の時)か、単調減少(0<x<1))
さらに、aを固定つまり、b+cが一定の場合、bcは、b=cの時、最大になる。