Семь грибников собрали вместе 100 грибов, причем никакие двое не собрали одинакового числа грибов. Докажите, что есть трое грибников, собравших вместе не менее 50 грибов.