higher bound for the
integer part i ___