many changes; added algebraic equivalences, recursive definitions, and solver slide; added infinite products and unsolved problems;