Numerical experimentation suggests that the following limit converges.
$$L=\lim_{n\to\infty}{\dfrac{1}{n}\sum_{k=1}^n\sin{\left(\dfrac{n}{k}\right)}}$$
According to both Desmos and Wolfram, for $n=10^5, 10^6, 10^7$, the values of $L$ are $0.504116, 0.504069, 0.504068$, respectively.
Does this limit converge, and if so, is there a closed form?
By looking at the graph of $y=\sin{\left(\frac{n}{x}\right)}$ from $x=1$ to $x=n$, I can see why the limit should converge, but I don't know how to prove this rigorously. I doubt there is a closed form.
(In case you're wondering where this question comes from, I just made it up after thinking about another question.)
Ci
being the cosine integral function. $\endgroup$