proved correctness of fmax
Finished chap01 exercises