Induction typo in 2.5 about discrete-book HOT 2 CLOSED

This is now fixed in source on edition branch. Thanks @siliconninja for sticking with this one.

from discrete-book.

I saw a commit here that fixes this issue: fb88027
Thanks Oscar Levin! I am closing this issue because it's no longer needed.

EDIT 8/24/18: That commit fixed a different issue. Now I understand more clearly that the example was showing a proof by induction that the sum from i=1 to n of i = n(n+1)/2 by testing (n+1)(n+2)/2 in the inductive case. But P(n) should be the statement 1+2+3+...+n=n(n+1)/2, since in the base case for n=1, the right hand side should have n+1=1+1, so the right hand side is equal to 1(1+1)/2, not 1(1+2)/2. I am reopening this issue since the typo for Example 2.5.1 has not yet been fixed (I haven't seen a commit where it is fixed yet).

from discrete-book.