Only the lessons of Bitcoin. The finitude of all real measurable states caps the number of possible primes. Only when mathematics enters an ungrounded domain like the mind can infinity persist. Seems like a waste of time to chase proofs around infinity when only things mathematically finite can be measurable by definition.