@chloe Tried to prove the existence of an integer between three and four, didn't you? http://strangehorizons.com/fiction/the-secret-number/