higher bound for the
integer floor of ___