Well founded relations and infinite sequences

Prove that, if R:A->A->Prop is well founded, then there is no infinite sequence x such that (R x_i+1 x_i) for each i.

Solution