チャカロフ関数

チャカロフ関数が無理数であることの証明。

無限級数に、多項式をかけて、足して、次数の低い項を削る。