Given a non-negative integer x, return the square root of x rounded down to the nearest integer.
Binary search
8
0² = 0
0 < 8