a≧2,b≧2のとき ab≧a+b
∵(a-1)(b-1)≧1
で、abcd=(ab)(cd)と考える
等号条件を考えれば=は消える