Tilted raw valuation-prefix rate for an arbitrary fixed coefficient box
ProvedErdos390.Full.PaperRawTiltedPrefixRowUnrestricted.exists_uniform_rawCell_tilted_valuation_prefix_rate_unrestricted_compactanalytic-number-theoryerdos-390erdos390-source-construction
Write , , , and . For a head pattern , let be the positive -smooth integers in having exactly the valuations prescribed by . For coefficients , the tilted cell law assigns mass proportional to . Fix , with , , and containing the head primes. There are and with such that for , all , , and band coefficients , every nonempty cell has
This supplies the raw moving-prefix terminal estimate without a smallness condition linking the coefficient box to the cutoff.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_004
Formal statement
theorem Erdos390.Full.PaperRawTiltedPrefixRowUnrestricted.exists_uniform_rawCell_tilted_valuation_prefix_rate_unrestricted_compact : Erdos390.RemainingAnalyticGoal004_007 := by sorry
Source