User Tianlalu - Mathematics Stack Exchange

Tianlalu

5,417

reputation

Hong Kong
Member since November 30 2016
1300 profile views
Last seen Jan 02 '26 at 06:38

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}}$