Uniform omitted-tilt divisor law with two harmonic margins
ProvedErdos390.Full.OmittedTiltHarmonicRate.exists_uniform_omittedTilt_divInd_paper_bound_with_harmonic_rate_compactanalytic-number-theoryerdos-390erdos390-source-construction
Write , , , , and . Let denote the Dickman function. Fix a head pattern , , , and integer . There exist , , a nonnegative sequence equal to the explicit function , and . Explicitly, with ,
Uniformly for , positive -smooth coprime to the head modulus, prime subsets coprime to , and coefficients on , the structured cell with physical endpoints is nonempty. Tilt its uniform law by . Then
The explicit common remainder can be carried through later harmonic row sums without losing its uniformity.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_001
Formal statement
theorem Erdos390.Full.OmittedTiltHarmonicRate.exists_uniform_omittedTilt_divInd_paper_bound_with_harmonic_rate_compact : Erdos390.RemainingAnalyticGoal001_005 := by sorry
Source