Prove by induction that for all positive integers n, the following inequality holds:
[\sum_i=1}^n 1}i} \leq n}2} + 1]

Which of the following options correctly states the proof technique used in this problem?

A) Direct proof
B) Contrapositive proof
C) Proof by contradiction
D) Proof by induction