From what I understand, this is how it is:
assume $f\cdot g$ is concave.
then,
$$(f\cdot g)(0)>1$$
by this and the assumption, the product must be less than $1$ for some real $x$. thus, at least one of the functions at $x$ must be less than $1$, which brings to a contradiction.
hence, $(f\cdot g)(x)$ is convex $\square$.
is this train of thought correct?