Binary Search Notes

用l + 1 < r再二次检查的模板。二次检查要遵循mid check。