It seems that $$\lim_{x\to\infty}\sum_{n=-\infty}^{\infty}\frac{x}{n^2+x^2}=\pi.$$ But I can't prove it. I cannot prove that the function is decreasing in $x$ either.