lean_workbook_plus_10181

Prove by induction on $n\in \mathbb{Z}^+$ . The base case is obvious. For inductive step, suppose the problem is true when $n\leftarrow m$ where $m\in \mathbb{Z}^+$ , we'll prove that it's true when $n\leftarrow m+1$ .