Arith / CONCEPT
Robin response of the actual lcm
A negative Mertens response gives a strict Robin violation at the actual prefix lcm.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES2
PROOF DEPTH4
DOCUMENT LINKS0
Strict Robin violation from a negative Mertens response
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
- A cumulative Mertens peak and a Robin witnessstructural-affinity · Closed
- Complete Chebyshev tail identity from absolute integrabilitystructural-affinity · Closed
- Complete Mertens peaks and finite Robin witnessesstructural-affinity · Closed
- Complete trivial zero correctionstructural-affinity · Closed
- Edge Propagation of Robin's Inequality Along Prime Fibresstructural-affinity · Closed
- Golden Resource Objective Factorizationstructural-affinity · Closed
- Inclusive Mangoldt ramps and complete Mertens transformstructural-affinity · Closed
- Logarithmic boundsstructural-affinity · Closed
- The Actual Arithmetic Mixed Responsestructural-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