2020.12.18 19:03 解説中の誤字を訂正しました。
シュワルツの不等式
$$
\left(\sum_{k=1}^na_k^2\right)\left(\sum_{k=1}^nb_k^2\right)\geq\left(\sum_{k=1}^na_kb_k\right)^2
$$
において、$a_k=k,b_k=x_k$とおけば、
$$
\frac 16n(n+1)(2n+1)\left(\sum_{k=1}^nx_k^2\right)\ge\left(\sum_{k=1}^nkx_k\right)^2=n^2
$$
等号成立条件は$1:2:\cdots:n=x_1:x_2:\cdots:x_n$。これより
$$
m_n=\frac{6n}{(n+1)(2n+1)}\phantom{AAa}\left(x_k=\frac{6k}{(n+1)(2n+1)}\right)
$$
また、
$$
\frac{m_k}{k}=12\left(\frac{1}{2k+1}-\frac{1}{2k+2}\right)
$$
であるから、
$$
\sum_{k=1}^{\infty}\frac{m_k}{k}=12\left(\left(\frac 13-\frac 14\right)+\left(\frac 15-\frac 16\right)+\cdots\right)=12\left(-\frac 12+\ln 2\right)
$$
※最小値を求める過程は、高校数学を逸脱するが、ラグランジュの未定乗数法を用いることも可能。
この問題を解いた人はこんな問題も解いています