FiniteGroups / CONCEPT
A sharper negative cone for the original odd-wrap quotients
Finite binomial product lower bounds sharpen the negative odd-wrap cone to 25t at most 24p.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH14
DOCUMENT LINKS0
The original count difference is strictly negative when 25t<=24p
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- A finite quantitative bracket for the complete original return thresholdstructural-affinity · Closed
- A finite second-order Gaussian envelope for the original returnsstructural-affinity · Closed
- A second-order threshold bracket with an explicit coefficientstructural-affinity · Closed
- A sharper positive cone for the original odd-wrap quotientsstructural-affinity · Closed
- A strict finite Gaussian envelope for the original quotient returnsstructural-affinity · Closed
- Finite Gaussian upper envelope for the original quotient returnsstructural-affinity · Closed
- The all-odd square-displacement thresholdstructural-affinity · Closed
- The unique odd-wrap sign thresholdstructural-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