Bevisteknikker med fokus på induksjon for følger og rekker.