📽️

Induction proofs involving integration