A chess player trains by playing at least one game per day, but, to avoid exhaustion, no more that $12$ games a week. Prove that there is a group of consecutive days in which he plays exactly $20$ games.
I was able only to reformulate this problem: let $\{x_n\}$ is a sequence of positive integers such that $x_{7(k-1)+1}+\dots+x_{7k}\leqslant 12$. Prove that there there is a block of consecutive terms such that its sum is equal to $20$. Unfortunately, it did not help me.
Can any give detailed solution please?
It would be interesting to take a look at the solution.
Remark: Please do not duplicate this question with others since the solution provided by user Mastrem is original and differ from other solutions.
We define a sequence $a_1,a_2,\ldots$, by letting $a_i$ be the amount of games played on day $i$. It is given that for all $n\in\mathbb{N}$, we have: $$a_{7n+1}+a_{7n+2}+a_{7n+3}+a_{7n+4}+a_{7n+5}+a_{7n+6}+a_{7n+7}\le 12$$ Now, define $$b_k=\sum_{i=1}^{k}a_i$$ for all $k=1,2\ldots$. By the pigeonhole principle, we can find some $l>m$ such that: $$b_l\equiv b_m\pmod {20}$$ and $l-m\le 20$. This means that: $$\sum_{i=m+1}^{l}a_i\equiv 0\pmod {20}$$ and $$1\le\sum_{i=m+1}^{l}a_i<3\cdot 12=36$$ Since the chess player plays at least one game per day and $l>m$. We conclude that: $$\sum_{i=m+1}^{l}a_i=20$$ and we are done.