Solution postée.
Chebychev.
Soit a i le nombre de parties disputées jusqu’au jour i inclus, On a :
1 =< a1 < a2 < a3 < …< ak =< 10 * E(k/7) / k = 1,2,3,…
Alors :
24 =< a1 + 23 < a2 + 23 < … < ak + 23 =< 10* E(k/7) +23 / k= 1,2,3,…
Quand k est suffisamment grand, 2k> 23 + 10*E(k/7) est vraie.
Donc il existe 2 indices i et j tels que aj = ai + 23. Alors le grand maitre aura disputé 23 parties pendant la période s’étalant entre le jour i+1 et le jour j inclus.