Find a real-valued function on the non-negative reals such that , and for all .
Solution
Let be the interval for . Then the are disjoint and cover the non-negative reals. Also maps onto . Thus is determined by the values it takes on . These can be arbitrary, but the simplest is to take on . Then we get on , on , on and by a simple induction on .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.