# y zhao

less info
reputation
618
bio website location age member for 2 years, 9 months seen 11 hours ago profile views 234

 16 How to prove $\int_0^1\tan^{-1}\left[\frac{\tanh^{-1}x-\tan^{-1}x}{\pi+\tanh^{-1}x-\tan^{-1}x}\right]\frac{dx}{x}=\frac{\pi}{8}\ln\frac{\pi^2}{8}?$ 13 Sum inequality: $\sum_{k=1}^n \frac{\sin k}{k} \le \pi-1$ 8 Prove $\int_{0}^\infty \frac{1}{\Gamma(x)}\, \mathrm{d}x = e + \int_0^\infty \frac{e^{-x}}{\pi^2 + \ln^2 x}\, \mathrm{d}x$ 7 Prove $\sum_{i=1}^{n}\frac{x_{i}^3}{x_{i+1}^2}\geq \sum_{i=1}^{n}\frac{x_{i}^2}{x_{i+1}}$ 7 How to prove that $\int_0^1\left(\sum_{k=n}^\infty {x^k\over k}\right)^2\,dx = \int_0^1 2x^{n-1}\log\left(1+{1\over\sqrt{x}}\right)\,dx.$

# 1,497 Reputation

 +5 Integral point on certain cubic surfaces and rational parametric solutions +20 How to prove $\frac{a}{a+bc}+\frac{b}{b+ac}+\frac{c}{c+ab}\geq \frac{3}{2}$ +5 Two curious “identities” on $x^x$,$e$,and $\pi$ +10 How to prove $\int_0^1\tan^{-1}\left[\frac{\tanh^{-1}x-\tan^{-1}x}{\pi+\tanh^{-1}x-\tan^{-1}x}\right]\frac{dx}{x}=\frac{\pi}{8}\ln\frac{\pi^2}{8}?$

# 14 Questions

 56 Two curious “identities” on $x^x$,$e$,and $\pi$ 5 Root of a special polynomial 4 How to bound the following sum 4 Sphere Covering Problem 3 Some questions on the formation of the BSD conjecture

# 40 Tags

 33 calculus × 6 20 sequences-and-series × 3 32 integration × 5 16 closed-form 31 definite-integrals × 4 11 gamma-function × 3 28 real-analysis × 5 9 limits × 2 25 inequality × 6 5 polynomials × 3

# 3 Accounts

 Mathematics 1,497 rep 618 MathOverflow 732 rep 516 Stack Overflow 101 rep