higher bound for the
integer part is at ___