Написать функцию на Python, которая получает целое число (x) и выдает округленное вниз до ближайшего целого значение квадратного корня от x. Сложность O(log x).

Написать функцию на Python, которая получает целое число\( x \) и выдает округленное вниз до ближайшего целого значение квадратного корня от \( x \). Сложность \( O(\log x) \)
1. Бинарный поиск:
- Начинаем с диапазона от 0 до \( x \).
- В каждой итерации вычисляем середину ( mid ), проверяем mid \( ^{2} \) и сравниваем с \( x \).
- Если \( \operatorname{mid}^{2}=x \), то нашли точный квадратный корень и возвращаем mid.
- Если mid \( ^{2}<x \), то ищем в правой половине диапазона.
- Если mid \( ^{2}>x \), то ищем в левой половине.
2. По завершении бинарного поиска переменная right будет хранить наибольшее число, для которого right \( ^{2} \leq x \), что и будет искомым округленным вниз квадратным корнем.