Claim: 50% of natural numbers are prime. Proof: checked by computer up to n=8. #lolzeilberger