Let be positive real numbers. Consider the equation
where denotes the largest integer not exceeding . Prove that the set of real solutions to this equation contains an interval of length at least
Solution
Consider linear functions , . Since are distinct and positive, their graphs are two distinct lines with positive slope. As , point is the intersection of these lines (Fig. 3).
Without loss of generality, assume (i.e. the line determined by is the “steeper” one). Then for , whereas for : indeed,

Fig. 3
Let and consider such that and (that is, and ). We claim that the interval has all the desired properties.
First, for any we have
and thus is a solution to the equation.
Second,
and thus and the interval has the desired length.
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.