Sea n ∈ formula_2.