If a number is long enough human won’t be able to perceive it all at once, so in fact there are only finite number of cases we need to check.