[213]
正の実数列 {a_k} が各自然数kに対して
a_{k+1} ≧ k・a_k / {(a_k)^2 + (k-1)}
を満たすとする。すべての n≧2 に対して
a_1 + a_2 + … + a_n ≧ n,
を示せ。
 IMO Shortlist 2015 A.2 ☆2