 Solution

Write $h=f\square g$ for the infimal convolution. It is proper by the permitted hypothesis. If $h(x_0)$ and $h(x_1)$ are finite, choose $y_0,y_1$ within $\epsilon$ of their respective infima. For $0<t<1$, put $x_t=(1-t)x_0+t{x}_1$ and $y_t=(1-t)y_0+t{y}_1$. Convexity of $f$ and $g$ givesLet $\epsilon \downarrow 0$. If either endpoint value is infinite, the desired inequality is automatic. Thus the infimal convolution is convex, without assuming the infimum is attained.

For its convex conjugate, replace a negative infimum by a supremum and then change variables $u=x-y$:The two suprema separate because $u$ and $y$ are independent. Properness of $f$ and $g$ makes each supremum strictly greater than $-\infty$, so this separation remains valid when one or both are $+\infty$. Therefore $(f\square g{)}^{\ast }=f^{\ast }+g^{\ast }$. This is the conjugate of an infimal convolution. The bounded-domain assumption is unnecessary for these two calculations; the assumed properness and lower semicontinuity of $h$ will be used when applying subgradient inversion under convex conjugacy.