The Increasing Nvalue Constraint