無限という概念を使わず
eやπをどのように定義するのかは
見てみたいところではある