Paragraph

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

in-context