2^512 is the number of distinct values of 512 bits ... it sure seems to succeed in existing. SHA-512 is a cryptographic hash that depends on that.