証明抜きに恒等式を量産したのがラマヌジャンなのに、
公式集の公式を証明すればラマヌジャンに近づけると思ってる愚かさが微笑ましい。