@PeterTamaroff, the consideration is certainly not new. Success would be very different. There are many results where they can prove something for "sufficiently large" numbers, but there is no specific lower bound. Such results, or the implied constant in the result, is called "ineffective."
I see you put 10^30, and it has been checked. Yes, that would complete the job.