Talk:Strong Law of Small Numbers

Interesting to compare this to Zeilberger's exploration of ansatzes and the "N_0 property", where checking of a finite number (N_0) of cases does constitute a rigorous proof. N_0=5 is one thing, as in the sum-of-cubes identity, but if N_0 is a googolplex...