User:IssaRice/Faulty mathematical induction proof example: Difference between revisions

From Machinelearning
(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...")
(No difference)

Revision as of 20:43, 13 April 2020

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.