Proof by mathematical induction - and proof by contradiction - are the two formal proof methods included at HL level. Generally speaking, students do not have much experience (often none at all) in writing a formal proof for a mathematical statement. For this reason - and also since students are often confused about precisely how a mathematical induction proof works - proof by induction is very often one of the types...