Mathematicians aren't satisfied because they know there are...

Mathematicians aren't satisfied because they know there are no solutions up to four million or four billion, they really want to know that there are no solutions up to infinity.