Question: finding if an arbitrary function is always positive

I was wondering if there was a command that could tell me if an expression consisting of undermined functions was always positive (with real domain).

For example f1:=f(x)^2+g(y)^4 is always positive.

but f(x)^2-g(y)^2 is only positive on a restricted domain.

Please Wait...