George Andrews's paper [Pfaff's method (I):
The Mills-Robbins-Rumsey determinant][1] contains, according to the author, "the world's most cumbersome mathematical induction ever." It uses induction to simultaneously prove 20 different identities.


  [1]: https://doi.org/10.1016/S0012-365X(98)00133-2