Backward induction

Backward induction proves or computes a finite sequence of statements by starting at its terminal index and stepping toward the initial index.