# Proving the inequality $\frac{\mathrm{arccot} 2\sqrt{2}}{\pi\log\zeta(3)}-\frac{\log^2(1+e^{-\pi})}{\pi}>\frac{131e^2+422e-1151}{222e^2+279e-757},$

I have come across the following inequality in my studies

$$\frac{\text{arccot}2\sqrt{2}}{\pi\log\zeta(3)}-\frac{\log^2(1+e^{-\pi})}{\pi}>\frac{131e^2+422e-1151}{222e^2+279e-757},$$

where $\zeta(3)$ is Apéry's constant and $\log^2 x$ is the square of the natural logarithm of $x$. The RHS seems to be relatively close to the numerical value of the LHS, however I would like to know if there exists a way to prove this without relying on numerical computations.

• If someone actually proves this in an answer I'm gonna eat my hat – Spine Feast Jan 16 '15 at 17:17
• The OP is clearly trying to troll us all. – Jack D'Aurizio Jan 16 '15 at 17:27
• Possibly relevant. Also see this. – Dejan Govc Jan 16 '15 at 17:35
• It is a trolling. :) – Alex Silva Jan 16 '15 at 18:06
• "I have come across the following inequality in my studies..." No, you haven't. – mjqxxxx Jan 16 '15 at 18:47