I hate you for doing this to me ... So I got the "/ n" version down to:

x_n = [ (x_(n-1)) / (n - 1) ] * [ x_(n-1) + n - 2)

if you set x_1=1 and x_2=2 (wonder why it doesn't give you x_2 itself ... weird)

But now I'm kind of stuck ... If (x_(n-1))^2 + (n-2)(x_(n-1)^) somehow can be factored so that there is an (n-1) term in the numerator, that would cancel out the n-1 in the denominator and prove it to be true. But my brain has stopped functioning now that it is 2:30.

You realize you've set jEmplode back an entire day with this question

Mike