Erdos #404 at odd primes

An attempt repository for explicit lower-bound certificates and the computed ignition layer for the columns p = 3, 5, 7, 11, 13.

README Problem #404

Witness table by (a,p)

Exact rows come from the ignition scan. Lower-bound rows are explicit witness files. Open rows still carry the baseline witness a_1 = a, but their extra exponent is unresolved here.

exact value explicit lower bound baseline lower, open above it dash means no row is displayed in this compact table.

Select a cell

ready

The selected entry will show its exact value or lower-bound witness preview.

terms
-
largest index
-
exponent
-
No certificate selected.

Interactive Ignition Landscape

Pick a prime and click a square. The horizontal coordinate is the start value a.

trivial blocked exact finite exact g=0 finite exact g>0 ignited candidate
Loading...
Select a cell
The detail panel will show status, residue data, and exact value when available.