>>387
exp ixの周期と「円の周長と半径の比」が
一致するのは自明ではないから証明が必要
ただπを「円の周長と直径の比」として
定義するのでないなら実は要らないが