〔変分型の定義〕
 x^(1/x) を最大にするような x>0 をeとする。
a>0 のとき
 a^(1/a) ≦ e^(1/e) ≒ 13/9