ArithSums / CONCEPT
Pillai mean and shared kernels
The classical Pillai mean and elementary kernels used by the full A400361 proof.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES3
PROOF DEPTH3
DOCUMENT LINKS0
The telescoping kernel prefix
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
- A400361: the second-order summatory constantstructural-affinity · Closed
- Asymptotic density of sets of naturalsstructural-affinity · Closed
- Bala's Alternating Gcd Sumstructural-affinity · Closed
- Coefficient and derivative boundsstructural-affinity · Closed
- Definitions and supremumstructural-affinity · Closed
- Digit-Sum Arcs: Infinitude and Natural Densitystructural-affinity · Closed
- Normalized Pochhammer Boundsstructural-affinity · Closed
- The exact bound for every truncationstructural-affinity · Closed
- The Least Base Maximizing the Digit Sum Is the First Base Above Halfstructural-affinity · Closed
- Tightness of the higher-order EPR boundstructural-affinity · Closed
- Weil: Analytic Stirlingstructural-affinity · Closed
- Weil: Gamma R Bracketstructural-affinity · Closed
- Weil: Gamma Seriesstructural-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