Ясно, что я шутил. Вас не устраивает строгое доказательство отсутствия, которое я писал выше?
Тогда перебирайте дальше.

Даже если вы переберете 10^100 (или 10^1000 и т.д.) первых натуральных чисел, то это не дает вам повода доказать данное утверждение (как и любое другое). И мощьность вашего компьютера здесь ни при чем.