A common depth and tangent exponent support capacity and the distributed Section 9 terminal
ProvedErdos390.WholePaper.BankPaperRealization.exists_bankPaperCanonicalSectionNinePostHeight_sourceFirstCutoffAwareDistributedTerminal_compactanalytic-number-theoryerdos-390erdos390-source-construction
For every real , there are natural and real such that
exceeds the public reciprocal-sum and actual-moment cutoffs, is the paper combined-tangent exponent for , and both the combined-charge terminal and distributed Section 9 terminal hold at the same depth and exponent . The distributed terminal means that eventually a single bank and guarded anchor certificate simultaneously satisfy the combined anchor/bank capacity divisibility, base-bank divisibility into the precharged target, and exact target-tail product identity, and admit the full finite Section 9 selector/flow payload. Thus
The width is selected after the analytic completion's cutoff, so no circular width choice is required.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_004
Formal statement
theorem Erdos390.WholePaper.BankPaperRealization.exists_bankPaperCanonicalSectionNinePostHeight_sourceFirstCutoffAwareDistributedTerminal_compact : Erdos390.RemainingAnalyticGoal004_020 := by sorry
Source