higher bound for the

integer is a pro oft✕