>>778
あ、x=1を代入して　log2 < 1
を使うんですか。なるほど、思いつかなかった・・・orz

考えてみると、>>778さんがおっしゃるように
微妙に循環論法ですね・・・