Add an upper bound to the constraint