Fixed binary search for greatest LIS.