Pointwise variation of the natural theta weight
ProvedErdos390.WholePaper.roughSaiasNaturalQuotientThetaWeight_succ_sub_abs_le_hyperbolaComponents_compactanalytic-number-theoryerdos-390erdos390-source-construction
Let be natural numbers, , and . Put , , and , where is the base-free fractional correction. Let be the natural Saias main term at divided by , and let be the selector cell ledger.
With the Dickman function,
This separates coefficient drift from the two globally summable smooth variations.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.roughSaiasNaturalQuotientThetaWeight_succ_sub_abs_le_hyperbolaComponents_compact : Erdos390.RemainingAnalyticGoal008_030 := by sorry
Source