higher bound in bound✕