\end{aligned}式の対称性が半端じゃないですね。近似値を求める際、前者二つがほぼ同じ値であったので同じかもしれない、という予想はあったのですが、実際に証明したときはかなり感動しました。$$が成り立つはずだと思っていたので、証明自体はそこまで大変ではなかったです。当時は何も言わず級数と積分を交換してましたが...Bohr-Mollerupの定理この定理は証明が好きです。f(1)=1$である解析関数は唯一つである。