Arith / CONCEPT
Strict Exponent Exchange
Assigning the larger exponent to the smaller real base strictly increases the product of reciprocal geometric sums.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES5
PROOF DEPTH0
DOCUMENT LINKS1
Larger exponents favor smaller bases
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
- Edge Propagation of Robin's Inequality Along Prime Fibrestruth-dependency · Closed
- Integer Prime Exponent Exchangetruth-dependency · Closed
- Local Divisor Factors on a Factorial Congruence Classtruth-dependency · Closed
- Prime Padding Ratiotruth-dependency · Closed
- Rough Prime Suffix Maximatruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Divisor objective corestructural-affinity · Closed
- Edge Propagation of Robin's Inequality Along Prime Fibresstructural-affinity · Closed
- Integer Prime Exponent Exchangestructural-affinity · Closed
- Local Divisor Factors on a Factorial Congruence Classstructural-affinity · Closed
- Prime Padding Ratiostructural-affinity · Closed
- Rough Prime Suffix Maximastructural-affinity · Closed
- Weil: Gammastructural-affinity · Closed
- Weil: Log Zetastructural-affinity · Closed
- Weil: Thirdstructural-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