Hyperbola/1 to 2/Maximal lower staircase function with two steps/Exercise