"Начала" теории множеств(для MoonCat и иных инетересующихся) :)
 

Конструкция z=x*sq((1+-(y/x)^n)) , где x;y;n пробегают все значения натурально ряда, воспроизводит как сам натуральный ряд, так и некое множество иррациональных чисел.Вывод: множество чисел натурального ряда есть подмножество множества иррациональных чисел.