と思ったけど、関数 (1+1/x)^x の単調性の証明がそれほど楽じゃないね。ごめん。