Moving prefixes have uniform sharp full-valuation profiles
ProvedErdos390.WholePaper.BankPaperRealization.exists_uniform_movingPrefix_valuation_mean_profile_paperRate_of_fraction_compactanalytic-number-theoryerdos-390erdos390-source-construction
Write , , , and . For a prime put and , where is the paper Dickman divisibility main term. Fix a pattern , , , and containing all its head primes. There exist such that for , every endpoint with physical prefix fraction at least , and every , the prefix structured cell is nonempty and
This uses the same truncated Dickman main term as a fixed cell, uniformly over the moving upper endpoint. The physical prefix fraction means exactly .
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_007
Formal statement
theorem Erdos390.WholePaper.BankPaperRealization.exists_uniform_movingPrefix_valuation_mean_profile_paperRate_of_fraction_compact : Erdos390.RemainingAnalyticGoal007_009 := by sorry
Source