Paragraph

Therefore, by strong induction, \(P(n)\) is true for all \(n \ge 2\text{.}\)

in-context