higher bound for the

function is floor function and✕