higher bound for the
integer floor bound in ___