higher bound for the

function is floor function at