Add definitions of 1-10.
Add mathematical definition of the procedure (f n).