02.Hint

You know the array is not sorted as soon as you encounter two adjacent elements for which gt(first, second) returns true (note that equal adjacent elements are in order).