The guarded smooth broad pool retains the sharp valuation profile
ProvedErdos390.WholePaper.BankPaperRealization.exists_uniform_guardedSmoothBasePool_valuation_mean_profile_paperRate_compactanalytic-number-theoryerdos-390erdos390-source-construction
Write , , , and . For a prime put and , where is the paper Dickman divisibility main term. Fix , natural multiplicity and depth , and . There exist and such that uniformly over every bank realization at , its guarded central-anchor certificate at depth , every real , and every band prime , the nonempty guarded broad correction pool of label one satisfies
The constant is independent of the bank, certificate, and .
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_007
Formal statement
theorem Erdos390.WholePaper.BankPaperRealization.exists_uniform_guardedSmoothBasePool_valuation_mean_profile_paperRate_compact : Erdos390.RemainingAnalyticGoal007_006 := by sorry
Source