Instruct: What's the highest lane of rank 4 with a time less than 24.72?
Output: SELECT MAX Lane FROM table WHERE Time < 24.72 AND Rank = 4