The existing closed delay barrier supplies both G12 constants above 17/4.
Inspect dependencies
LiLiuGoldbachG12BuchstabMajorant.majorants_existing_tail · compiled type and proof/definition references.
The first G12 constant on the entire initial unit interval.
Inspect dependencies
LiLiuGoldbachG12BuchstabMajorant.majorant_broad_first_window · compiled type and proof/definition references.
The second G12 constant from its literal rational starting point to four.
Inspect dependencies
LiLiuGoldbachG12BuchstabMajorant.majorant_sharp_first_window · compiled type and proof/definition references.
A certified full second interval, not a pointwise numerical sample.
Inspect dependencies
LiLiuGoldbachG12BuchstabMajorant.majorant_sharp_second_window · compiled type and proof/definition references.
The second G12 constant on the unbounded tail starting at four.
Inspect dependencies
LiLiuGoldbachG12BuchstabMajorant.majorant_sharp_from_four · compiled type and proof/definition references.
The author's first G12 pointwise majorant for the actual Buchstab function, with no upper cutoff and no carried estimate premise.
Inspect dependencies
LiLiuGoldbachG12BuchstabMajorant.buchstab_le_564383 · compiled type and proof/definition references.
The author's second G12 pointwise majorant for the actual Buchstab function, with the exact threshold 79/25 and no upper cutoff.
Inspect dependencies
LiLiuGoldbachG12BuchstabMajorant.buchstab_le_561990 · compiled type and proof/definition references.