\forall n\in \mathhad{N}