Arith / CONCEPT
An Explicit Elementary Mertens Envelope
An elementary prime-product envelope with an explicit error constant is valid at every real cutoff at least 286.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES3
PROOF DEPTH4
DOCUMENT LINKS0
The convergent prime-power error is at most four fifths
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual Integer Logarithmic Envelopestructural-affinity · Closed
- Affine Lcm Core Arithmeticstructural-affinity · Closed
- DelayedAtomTransportstructural-affinity · Closed
- FinitePulseKernelTransportstructural-affinity · Closed
- Original Witness Confinementstructural-affinity · Closed
- OriginalFirstClockTransportstructural-affinity · Closed
- Prime Exponent Windows From The Residuestructural-affinity · Closed
- Rational Basis for the Robin Certificatestructural-affinity · Closed
- Robin's Inequality for the Entire 7-Smooth Familystructural-affinity · Closed
- Small Prime Exclusion For The 5040 Residuestructural-affinity · Closed
- Squarefree integers with a coprimality conditionstructural-affinity · Closed
- Strict Robin for the Complete 5040 Power-Congruence Branchstructural-affinity · Closed
- Strict Robin in the Bounded-Support 5040 Branchstructural-affinity · Closed
- Weil: Gronwall Upper Envelopestructural-affinity · Closed
- Weil: Thirdstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance