Common-range formula for a quotient drop and base increment
ProvedErdos390.WholePaper.roughSaiasBaseFreeFractionalIntegral_quotient_succ_sub_eq_common_compactanalytic-number-theoryerdos-390erdos390-source-construction
Let and be natural numbers with . Write for the scaled Dickman kernel, where is the source-defined Dickman derivative, and for its base-free fractional correction.
Then
The common cap permits variation estimates across changing natural quotients.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.roughSaiasBaseFreeFractionalIntegral_quotient_succ_sub_eq_common_compact : Erdos390.RemainingAnalyticGoal008_025 := by sorry
Source