How would you calculate this limit? $\lim\limits_{n \rightarrow\infty}\frac{\pi}{2n}\sum\limits_{k=1}^{n}\cos\left(\frac{\pi}{2n}k\right)$ I decided to calculate $\int_{0}^{\pi/2}cos(x)dx$ using the sum definition of the integral. Obviously the answer is $1$ . I managed to calculate the resulting limit using the geometric series, taking the real part of the complex exponential function and several iterations of l'hopital's rule. Are you able to simplify this absolute mess, i.e. find a better way of arriving at the desired answer?
$$\lim\limits_{n \rightarrow\infty}\frac{\pi}{2n}\sum\limits_{k=1}^{n}\cos\left(\frac{\pi}{2n}k\right)$$
Every answer is highly appreciated =)
PS: If you want to see my solution, feel free to tell me! =)

Here's an approach without Euler's formula using telescoping. With the help of the sum-product formula, we can see
$$\begin{eqnarray}
\sin\frac{\theta}{2}\sum_{k=1}^n\cos k\theta &=&\frac{1}{2}\sum_{k=0}^n\left(\sin\frac{2k+1}{2}\theta-\sin\frac{2k-1}{2}\theta\right)\\
&=&\frac{1}{2}\left(\sin\frac{2n+1}{2}\theta-\sin\frac{1}{2}\theta\right).
\end{eqnarray}$$ This gives
$$\begin{eqnarray}
\lim\limits_{n \rightarrow\infty}\frac{\pi}{2n}\sum\limits_{k=1}^{n}\cos\left(\frac{\pi}{2n}k\right)&=&\lim\limits_{n \rightarrow\infty}\frac{\pi}{4n\sin\frac{\pi}{4n}}\left(\sin\frac{2n+1}{4n}\pi-\sin\frac{1}{4n}\pi\right)=\sin\frac{\pi}{2}=1.
\end{eqnarray}$$
