higher bound for the

function is floor function a

a floor function a✕