(GBR 5) Let a,b,c be positive real numbers and let [x] denote the greatest integer that does not exceed the real number x. Suppose that f is a function defined on the set of nonnegative integers n and taking real values such that f(0)=0 and f(n)≤an+f([bn])+f([cn]), for all n≥1.
Prove that if b+c<1, there is a real number k such that f(n)≤kn for all n, while if b+c=1, there is a real number K such that f(n)≤Knlog2n for all n≥2. Show that if b+c=1, there may not be a real number k that satisfies (1).
This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.