higher bound for the
integer is a pro oft
able ___