User:IssaRice/Faulty mathematical induction proof example

From Machinelearning
Revision as of 20:43, 13 April 2020 by IssaRice (talk | contribs) (Created page with "Consider the following "proof": <blockquote style="border: 1px solid black; padding: 10px;"><p>'''Proposition.''' Let <math>b,c</math> be positive integers. Then <math>bc > b...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Consider the following "proof":

Proposition. Let be positive integers. Then .

Proof. We fix and induct on . For the base case when , the result is vacuously true. Now suppose inductively that we have the result for . Then for we need . But since . Also, by induction hypothesis. Therefore, . This closes the induction.