higher bound for the
integer is a pro ___