Два приятеля однажды вели такой разговор. «Видишь кучу песка?» — спросил первый. «Я-то ее вижу, — ответил второй, — но ее нет на самом деле.» Первый удивился: «Почему?»
— Очень просто, — ответил второй. — Давай рассудим: одна песчинка, очевидно, не образует кучи песка. Если n песчинок не могут образовать кучи песка, то и после прибавления еще одной песчинки они по-прежнему не могут образовать кучи. Следовательно, никакое число песчинок не образует кучи, т.е. кучи песка нет.
