Spaß hab ich dabei auch meistens... Vollständige Induktion gehört zu meinen Lieblingsaufgaben. Worauf ich eher wenig Bock habe sind diese "Zeige dass die durch blabla definierte soundso tatsächlich ein soundso ist". Diese Schreibaufgaben wo man bei a,b,c,d immer wieder dieselben Eigenschaften nachprüfen muss.
Gibts bei Analysis I aktuell eher nicht, dafür in Lineare Algebra II gelegentlich.