User Tianlalu - Mathematics Stack Exchange

Tianlalu

5,177

reputation

Hong Kong
Member since November 30 2016
1080 profile views
Last seen Jan 08 '23 at 10:30

My Favourite question:

Prove $\int_0^\pi \sin(x+\sin(x+\sin(x+\cdots))) \ \mathrm dx=2$

My Favourite answer:

Prove $\sum_{n=1}^\infty\frac{\cot(\pi n\sqrt{61})}{n^3}=-\frac{16793\pi^3}{45660\sqrt{61}}$