Sea n∈ formula_1.