Problem 2
Let and be given by and . Prove that for any non-integer real number satisfying .
Step 6 of 6: Bound each piece and conclude
Detailed analysis
Since , the AM–HM inequality gives , with equality at . For , the quadratic ranges over , so and . Adding these bounds gives for , and by steps 3–4 this proves on every interval ; by step 2 the same bound (applied with swapped) covers , so for all non-integer with .