An overview and three examples of proving something inductively.