Example of a situation in math where a formal proof is needed, because sample calculations seems right up until very high numbers?

Upvotes: 8