Maths Olympiad Prep

Track / Stage 5 / 257 of 400 #857 of 1964

Problem 857

AIME late
Algebra Difficulty 5.6 Prove it

32. (GBR 5) Let a,b,ca, b, c be positive real numbers and let [x][x] denote the greatest integer that does not exceed the real number xx. Suppose that ff is a function defined on the set of nonnegative integers nn and taking real values such that f(0)=0f(0)=0 and
f(n)an+f([bn])+f([cn]), for all n1. f(n) \leq a n+f([b n])+f([c n]), \quad \text { for all } n \geq 1 .

Prove that if b+c<1b+c<1, there is a real number kk such that
f(n)kn for all n, f(n) \leq k n \quad \text { for all } n,
while if b+c=1b+c=1, there is a real number KK such that f(n)Knlog2nf(n) \leq K n \log _{2} n for all n2n \geq 2. Show that if b+c=1b+c=1, there may not be a real number kk 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.

Official solution

None

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.