Richard Hamming famously used to ask his colleagues at Bell Labs this question: “What is the most important problem in your field, and why aren’t you working on it?” To which they probably replied, “Look, Dick, it’s eight-thirty in the morning.…
In most proofs by induction, the base case is easy or trivial and the real meat of the proof is in the inductive step. Are there examples of the opposite?