>>611
f(x)= x + log2x -2 は、f(1)<0 で f(2)>0であることを言えば、
f(x)の連続性よりこの区間でゼロになる(方程式は解をもつ)ことが
言える。f(1)<0 は 2<e の証明と等価、f(2)>0は e<4と等価だ
から、2 < e < 4 を言えればよい。e = 2.718…だから、あたりまえ
といえばあたりまえなのだが…。