Sea n ∈ formula_1.