给定一个函数check(x)，判断是否存在一个整数y，使得y*y <= x成立。现在考虑通过二分答案的方式找到满足条件的最大整数y。

def check(x, y):

return y * y <= x

def bs(x):

low, high = 0, x

while low < high:

mid = (low + high + 1) // 2

if check(x, mid):

low = mid

else:

high = mid - 1

return low

对于整数x = 25，以下哪个选项描述了bs(x)函数的返回值？