a≦b≦cとしても一般性を失わない
loga b≧1, logb c≧1, logc a>1
右辺2でも成り立ちそう