binsearch

while (l <= r)
  {
    mid = (l + r) >> 1;
    if (check(mid))
      l = mid + 1;
    else
      ans = mid, r = mid - 1;
  }