Skip to main content
made title more specific
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

A hard The inequality $\int^\infty_0 (\sin(rt)r^3/\sinh^2(r)) dr\leq cte^{-At}$

Source Link

A hard inequality

How to prove the following inequality $$\forall t>0,\quad\int^\infty_0 \sin(rt)\frac{r^3}{\sinh^2(r)} dr\leq c \big(te^{-At}\big)$$ for some constants $A>0,c>0$