Fix a mistake of mathematical definition of the procedure (f n).
Add mathematical definition of the procedure (g n).