In this question, $f$ denotes the linear form defined by $\forall M \in \mathcal{M}_n(\mathbb{R}), f(M) = \sum_{j=1}^n \sum_{i=j}^n m_{i,j}$, and $M_n = \sum_{k=1}^n \dfrac{1}{2\cos\dfrac{k\pi}{2n+1}}$.
Give an equivalent of $M_n$ as $n$ tends to $+\infty$.