Skip to content

Erdős problem 950

Start work

This function was considered by de Bruijn, Erdős, and Turán, who showed that ∑n<xf(n)∼∑n<xf(n)2∼x\sum_{n<x}f(n)\sim \sum_{n<x}f(n)^2\sim x. They gave no proofs, but a proof of the (harder) second claim is given by Gorodetsky here [mathoverflow/508491].

Nothing has been recorded here yet.

How far the record reaches3 of 6 stages
  1. Sourceerdos-problems
  2. StatementRetained
  3. Formal7 retained
  4. ResolutionNone filed
  5. WorkNone recorded
  6. DecisionNone here
  7. The questionNot reached
What this record is missingResolution

No source retained here records an outcome for this question.

Its collection still marks it open.

Open the source record
Where the source files it579 share a topic
Number Theory576Primes61
Erdős problem 321accepted
Carrying a Standing. Browse the topic.
Start workOpen sources