Chứng minh thuật toán đúng đắn. 

preconditions: n >= 0 

postconditions: f = n! 

f1 (n)

begin

i = 1, f = 1

while (i < n) do

i = i + 1

f = f * i

endwhile

return (f)

end