C-D14-SUPPORT3-TAIL

Support-3 tail small, audited at three primes (bound 9/1000)

In plain language

An early three-prime estimate suggested the support-3 tail is under 9/1000, later shown too small once the full universe was scanned.

Exact statement

Support-3 tail small, audited at three primes (bound 9/1000)

This claim was superseded by C-D16-SUPPORT3-COMPLETE.