理论概念
在答案的可行范围内二分：若 check(mid) 成立则可能扩大答案，否则缩小。与「在数组中二分下标」不同。
本实验求 floor(√n)：最大整数 x 满足 x²≤n。check(x)=（x²≤n），在 [0,n] 上二分。
实验
在答案的可行范围内二分：若 check(mid) 成立则可能扩大答案，否则缩小。与「在数组中二分下标」不同。
本实验求 floor(√n)：最大整数 x 满足 x²≤n。check(x)=（x²≤n），在 [0,n] 上二分。
