Prove sum of first n integers formula by induction

Analyze the prove sum of first n integers formula by induction.

Examples
Input: "proof_case_1"
Output: true
Hints

Prove sum of first n integers formula by induction

Analyze the prove sum of first n integers formula by induction.