I am somewhat busy right now, but this topic was discussed in this thread.
I am somewhat busy right now, but this topic was discussed in this thread.
From what I've seen you prove it from having already established weak induction. That looks like the route taken in emakarov's link. Do you already have weak induction for this proof? If not, prove weak induction, and then prove strong induction. Does anyone know of a more direct proof (i.e., prove strong induction without weak induction)?