Difference between revisions of "2013 Canadian MO Problems/Problem 4"
Line 10: | Line 10: | ||
First thing to note on both functions is the following: | First thing to note on both functions is the following: | ||
− | <math>f_j(1 | + | <math>f_j\left(\frac{1}{r}\right) =\min\left(\frac{j}{r}, n\right)+\min (jr, n)=f_j(r)</math> |
− | and <math>g_j(1 | + | and <math>g_j \left( \frac{1}{r} \right) =\min\left(\left\lceil\frac{j}{r}\right\rceil, n\right)+\min (\lceil jr\rceil, n)=g_j(r)</math> |
Revision as of 16:39, 27 November 2023
Problem
Let be a positive integer. For any positive integer and positive real number , define where denotes the smallest integer greater than or equal to . Prove that for all positive real numbers .
Solution
First thing to note on both functions is the following:
and
Case 1:
Since in the sum, the f_j(r) =\min (jr, n)+\min\left(\frac{j}{r}, n\right)
~Tomas Diaz. orders@tomasdiaz.com Template:Olution