¹Note the notation and treatment here is from Mehlhorn Data Structures and Algorithms 1: Sorting and Searching. However, a and b are interchanged from his treatment.
[2] See page 175 of Mehlhorn Data Structures and Algorithms 1: Sorting and Searching..