Ma solution n'a rien de compliqué, elle est même naturelle.
On considère l'intervalle [|1, N |] et les suites u_(k, n) = u_k + (n-1)*r_k
Dans l'intervalle considéré, la suite u_(k, n) produit E(N/r_k - u_k/r_k + 1) entiers.
Du coup, par partition
somme de k = 1 à k = n E(N/r_k - u_k/r_k + 1) = N
J'utilise ensuite l'inégalité E(x) <= x < E(x) + 1 pour obtenir,
1 <= somme 1/(r_k) + 1/N*(somme u_k/r_k) + n/N < 1 + n/N
Puis je fais tendre N -> +oo et d'après le théorème des gendarmes, j'obtiens ce qu'il faut.