[IEQ] n \geq 1 [/IEQ]