・(1)中のマーカー部分について
ここまでの議論で、f(x)の最小値が2-2log2であることがわかりました。この最小値が0より大きければ、√x-logx>0は常に成り立つわけですね。そこで、
log2<1
2log2<2
0<2-2log2
と変形することで、f(x)>0が常に成り立つことがわかります。
・(2)中のマーカーについて
しっかり説明しようとするとちょっと面倒なのですが、x→∞としたとき、xが何らかの実数より小さいと、それは無限大とは言い難いですよね。特に、x≦1の状態のxが「正の無限大」とは言えなさそうなのは直感的に理解できると思います。
つまり、「正の無限大の極限を取るんだから、最初からx>1として考えて良い。どうせxは1より大きくなるんだから。」という考え方になります。
底e>1かつ、2<eより、log2<loge=1
となります。
返信ありがとうございます。疑問点を質問させてください。
log2<1というのはどこから出てきたものですか?