Added the AM-GM Inequality.