Допустим, что никому не достанется хотя бы 225 монет, тогда у каждого не более 224 монет, тогда всего монет не больше 224*9=2016, но монет 2019 - противоречие, значит, есть хотя бы 1 человек, у которого хотя бы 225 монет
Допустим, что никому не достанется хотя бы 225 монет, тогда у каждого не более 224 монет, тогда всего монет не больше 224*9=2016, но монет 2019 - противоречие, значит, есть хотя бы 1 человек, у которого хотя бы 225 монет