あるいはlog(1+x)<x (x>1)を示しといてlog(1+x)^(1/x)<1=loge⇔(1+x)^(1/x)<eでもいいね。