algo4: binarysearch: Sqrt x