Let $f: \textbf{Y}\rightarrow \bar{\mathbb{R}}$ be a proper closed convex function, $\mathcal{A}: \textbf{E}\rightarrow \textbf{Y}$ be a linear map. Define $g(x)=f(\mathcal{A}x)$. I need to show that $g^*$ is the closed envelope of the function $y\mapsto \inf_x \{f^*(x): \mathcal{A}^*x=y\}$.
Below is what I have: $$f^*(x)=\sup_{\mathcal{A}z} \{\langle x, \mathcal{A}z\rangle-f(\mathcal{A}z)\}=\sup_{\mathcal{A}z} \{\langle \mathcal{A}^*x, z\rangle -g(z)\}=g^*(\mathcal{A}^*x)$$ then $g^*(y)=f^*(x)$ if $\mathcal{A}^*x=y$. However, I'm missing the $\inf_x$ part. Where should I go from here?