请使用二分法实现一个函数，求给定非负整数 n 的最大整数 x，使得 x 的平方小于等于 n。

回答思路

1. 明确二分查找的搜索空间与终止条件
2. 正确更新左右边界以维持不变式
3. 考虑 n 为 0 或 1 的特殊情况
4. 避免整数溢出，合理选择中线计算方式
5. 给出并解释算法的时间复杂度