Are there bijective functions such that
Solution
The answer is no. We shall prove by induction that and .
Notice that for each . Then, if , it follows that .
Now, we prove through induction on . Assume that the statement holds for positive integers up to . Since is surjective, assume that there is such that . Thus, at least one of the numbers would be greater than or equal to . Let there is some such that therefore,
The equality case occurs and . Yielding and , as desired. ■
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.