MathDB
Show that max(f(x)-g(x) , 0) ∈ C

Source:

September 14, 2010
functionalgebra proposedalgebra

Problem Statement

Let CC be a class of functions f:NNf : \mathbb N \to \mathbb N that contains the functions S(x)=x+1S(x) = x + 1 and E(x)=x[x]2E(x) = x - [\sqrt x]^2 for every xNx \in \mathbb N. ([x][x] is the integer part of xx.) If CC has the property that for every f,gC,f+g,fg,fgCf, g \in C, f + g, fg, f \circ g \in C, show that the function max(f(x)g(x),0)\max(f(x) - g(x), 0) is in CC, for all f;gCf; g \in C.