Show that $$\sum_{k=1}^n{\mspace{-2mu}\frac{\left\lvert\sin{k}\right\rvert}{k}}\sim\frac{2}{\pi}\mspace{-1.5mu}\sum_{k=1}^n{\mspace{-2mu}\frac{1}{\mspace{-1mu}k}}$$ as $n\to\infty$.
Alternatively, since $\displaystyle\frac{1}{\ln{x}}\mspace{-1.5mu}\int_0^x{\mspace{-2mu}\frac{\left\lvert\sin{t}\right\rvert}{t}\operatorname{d}\!t}$ converges to $\dfrac{2}{\pi}$ as $x\to{+\infty}$ and $\displaystyle\lim_{n\to\infty}{\frac{{\it{H}}_n}{\ln{n}}}=1$, how can we prove that $$\sum_{{1}\leq{n}\leq{\left\lfloor{x}\right\rfloor}}{\mspace{-2mu}\frac{\left\lvert\sin{n}\right\rvert}{n}}\sim\int_0^x{\mspace{-2mu}\frac{\left\lvert\sin{t}\right\rvert}{t}\operatorname*{d}\!t}$$ as $x\to{+\infty}$?
- It may seem like just one simple application of the so-called Euler–Maclaurin formula. Nonetheless, $\dfrac{\left\lvert\sin{u}\right\rvert}{u}$ is not always continuously differentiable on $\left[0, x\right]$, hence the use of the Euler–Maclaurin summation formula shall be inadmissible in fact.
- So does the Stolz–Cesàro theorem.
Some "similar" problems can be seen in many posts such as How can we prove that …, How to prove the convergence of the series? and How to find the limit….