One combined-charge capacity depth works for every admissible exceptional exponent
ProvedErdos390.WholePaper.exists_depth_bankPaperCombinedChargeTerminal_uniform_deltaStar_compactanalytic-number-theoryerdos-390erdos390-source-construction
For every there is a natural depth such that for every real with and , the paper combined-charge terminal holds at depth d:
They satisfy anchor-times-base divisibility into the central tail product, base-bank and combined-selector-charge divisibility into the precharged target, retained reserve above the combined charge for primes , and the exact selector-target-times-charge and precharged-target-times-anchor-divisor identities.
The depth is fixed before choosing the exceptional exponent; the eventual threshold may depend on that later exponent.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.exists_depth_bankPaperCombinedChargeTerminal_uniform_deltaStar_compact : Erdos390.RemainingAnalyticGoal008_010 := by sorry
Source