olymmath

SCHWEITZER 2016 Problem 4

    Prove that there exists a sequence a(1),a(2),…,a(n),…a(1),a(2),\dots,a(n),\dots of real numbers such that a(n+m)≤a(n)+a(m)+n+mlog⁡(n+m)a(n+m)\le a(n)+a(m)+\frac{n+m}{\log (n+m)} for all integers m,n≥1m,n\ge 1 , and such that the set {a(n)/n:n≥1}\{a(n)/n:n\ge 1\} is everywhere dense on the real line.

    Remark. A theorem of de Bruijn and Erdős states that if the inequality above holds with f(n+m)f(n + m) in place of the last term on the right-hand side, where f(n)≥0f(n)\ge 0 is nondecreasing and ∑n=2∞f(n)/n2<∞\sum_{n=2}^\infty f(n)/n^2<\infty , then a(n)/na(n)/n converges or tends to (−∞)(-\infty) .

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/2016/p4 · Tag W9EJQMF906 · Edit this page on GitHub · Keys: j next, k previous