Arith / CONCEPT
Rational Basis for the Robin Certificate
Sharp rational logarithm bounds and an exact rational checker certify the additive Robin gap at 10080 without floating-point assumptions.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES6
PROOF DEPTH0
DOCUMENT LINKS1
Atanh parameter interval
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- A Uniform Cosine-Sum Remaindertruth-dependency · Closed
- An Explicit Elementary Mertens Envelopetruth-dependency · Closed
- Floor-uniform arithmetic identitiestruth-dependency · Closed
- Original full-kernel certificate sourcetruth-dependency · Closed
- Robin's Inequality for the Entire 7-Smooth Familytruth-dependency · Closed
- Small-window remainder boundstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A Uniform Cosine-Sum Remainderstructural-affinity · Closed
- An Explicit Elementary Mertens Envelopestructural-affinity · Closed
- Cosine Integral on Positive Latticesstructural-affinity · Closed
- Floor-uniform arithmetic identitiesstructural-affinity · Closed
- Original full-kernel certificate sourcestructural-affinity · Closed
- Robin's Inequality for the Entire 11-Smooth Familystructural-affinity · Closed
- Robin's Inequality for the Entire 7-Smooth Familystructural-affinity · Closed
- Small-window remainder boundsstructural-affinity · Closed
- Weil: Gammastructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance