Arith / CONCEPT
Edge Propagation of Robin's Inequality Along Prime Fibres
A multiplicative edge test carries Robin's inequality, its first layer controls a whole prime fibre, and prime replacement keeps it.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES3
PROOF DEPTH2
DOCUMENT LINKS0
Positivity of the normalized divisor sum
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
- Complete Chebyshev tail identity from absolute integrabilitystructural-affinity · Closed
- Coprime prime-exponent normal formstructural-affinity · Closed
- Exponent Normal Form with the Same Number of Distinct Primesstructural-affinity · Closed
- Hanna's Sigma-Product Exponential Congruencestructural-affinity · Closed
- Higher Derivatives of the Log-Log Scalestructural-affinity · Closed
- Integer Prime Exponent Exchangestructural-affinity · Closed
- Local Divisor Factors on a Factorial Congruence Classstructural-affinity · Closed
- Mandatory-Core Prime Prefix Normalizationstructural-affinity · Closed
- Padding Tail Massstructural-affinity · Closed
- Robin response of the actual lcmstructural-affinity · Closed
- Rough Prime Suffix Maximastructural-affinity · Closed
- Same-integer Robin suffix maximastructural-affinity · Closed
- Strict Exponent Exchangestructural-affinity · Closed
- The Actual Arithmetic Mixed Responsestructural-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