probabilisticBinaryMaximumSearch_withFoundInStep