Total variation of the fractional correction along a natural hyperbola
ProvedErdos390.WholePaper.roughSaiasBaseFreeFractionalIntegral_hyperbola_sum_abs_succ_sub_le_two_inv_log_compactanalytic-number-theoryerdos-390erdos390-source-construction
Let be natural numbers with , and set . Write for the scaled Dickman kernel, where is the source-defined Dickman derivative, and for its base-free fractional correction.
Then
The bound controls the smooth fractional component in weighted hyperbola summation.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_008
Formal statement
theorem Erdos390.WholePaper.roughSaiasBaseFreeFractionalIntegral_hyperbola_sum_abs_succ_sub_le_two_inv_log_compact : Erdos390.RemainingAnalyticGoal008_024 := by sorry
Source