f(n) = n!
Def: , ,
F(n)=n*F(n-1) for ; //recursive case
F(0)=1//terminae case
M(n) = M(n-1)+1 , M(0) = 0 //1! = 1, 0!=0
backward substitution 정의에 따르면
M(n) = M(n-1)+1
M(n) = [M(n-2)+1]+1 = M(n-2)+2
M(n) = [M(n-3)+1]+1+1 = M(n-3)+3
....
M(n) = M(n-i)+i // i번째 call
M(n) = M(n-n)+n // n번째 콜
M(n) = M(0)+n=n
simplification n->
M(n)