higher bound for the
integer part function of
___