Ответ на загадку с ёлочными иголками

Разобьём мысленно все ёлки на группы. К первой отнесём все ёлки, на которых вообще нет иголок, ко второй – ёлки, на которых по одной иголке, к третьей – ёлки, на которых по две иголки и т. д. А к последней группе – ёлки, на которых ровно по 600 тысяч иголок. Так как групп получится 600 001, а ёлок 800 тысяч, то хотя бы в одной группе будет две или более ёлок. А это и требуется доказать.