Skip to content

Erdős problem 726

As n→∞n\to \infty ranges over integers ∑p≤n1n∈(p/2,p)(modp)1p∼log⁡log⁡n2\sum_{p\leq n}1_{n\in (p/2,p)\pmod{p}}\frac{1}{p}\sim \frac{\log\log n}{2}?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/726.lean

Formal Conjectures

FormalConjectures/ErdosProblems/726.leanErdos726.erdos_7264 linesExact file
True ↔  Asymptotics.IsEquivalent Filter.atTop    (fun n => ∑ p ∈ Finset.range (n + 1) with Nat.Prime p ∧ ↑p / 2 < ↑n % ↑p, 1 / ↑p) fun n =>    Real.log (Real.log ↑n) / 2
OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page