\forall n\in N