there are infinitely 2-tuple instances with at most a finite bound
New to topics? Read the docs here!