1. In which line do we use the inference rule: \forall introduction?

2. In which line do we use the inference rule: ightarrow introduction?

3. In which line do we use the inference rule: Mathematical Induction?

4. In which line do we use our inductive hypothesis?

1. 25 = 32 > 25 = 52 2. [n+1] 3. [2" > n?] 4. 2n+1 = 2:21 5. >2n2 6. 2n+1 > (n + 1)2 7. (2" > n2) + (2n+1 > (n + 1)2) 8. Vn E Ist : (2" > n2) + (2n+1 > (n + 1)2) 9. VnE I5 : 2" > na