MathDB
Putnam 2012 B1

Source:

December 3, 2012
Putnamfunctionlogarithmsalgebrapolynomialcollege contests

Problem Statement

Let SS be a class of functions from [0,)[0,\infty) to [0,)[0,\infty) that satisfies:
(i) The functions f1(x)=ex1f_1(x)=e^x-1 and f2(x)=ln(x+1)f_2(x)=\ln(x+1) are in S;S;
(ii) If f(x)f(x) and g(x)g(x) are in S,S, the functions f(x)+g(x)f(x)+g(x) and f(g(x))f(g(x)) are in S;S;
(iii) If f(x)f(x) and g(x)g(x) are in SS and f(x)g(x)f(x)\ge g(x) for all x0,x\ge 0, then the function f(x)g(x)f(x)-g(x) is in S.S.
Prove that if f(x)f(x) and g(x)g(x) are in S,S, then the function f(x)g(x)f(x)g(x) is also in S.S.