Интересная логика.
Шаг индукции:
Ветер вырывает самое высокое дерево, остается N-1 деревьев. Ветер вырывает из них самое высокое, остается N-2 деревьев. Из них обязательно будет самое высокое...
База индукции:
Дана лесопосадка из N деревьев.
Циник доказал, что никаких естественных зеленых насаждений быть не может.
А я то думал, что это Свин все вырубил.
p.s. Циник, у тебя ветер когда-нибудь зонт выворачивал? Вот так и деревья без кустов. К тому же нижние ветки деревьев при раскачивании амортизируются о кусты.
(IMG:http://s59.radikal.ru/i163/1209/64/b9abe361dec7.jpg)