User Tianlalu - Mathematics Stack Exchange

Tianlalu

5,387

reputation

Hong Kong
Member since November 30 2016
1166 profile views
Last seen Jun 16 '25 at 17:20

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