>>972
その後って
f'(x)=1/√x-1/x=(1/√x)(1-1/√x)だから
x>0でf'(x)=0になるのはx=1のときのみ、x<0でf'(x)<0、x>0でf'(x)>0
だからf(x)はx=0で極小値0をとりx>0で単調増加→x>0でf(x)>0
→x>0で2√x>logx