Let $A$ be an Hurwitz stable matrix (i.e. the real part of the eigenvalues of $A$ lie in the left-half plane) and $Q$ be a positive semidefinite matrix ($Q\ge 0$, for short). Let $P>0$ be the solution of the following Lyapunov equation
$$
AP+PA^\top = -Q.
$$
and define the set $\mathcal{Q}:=\{Q\ge 0\,:\, P>0\}$. Moreover, for $Q\in\mathcal{Q}$, define $f(Q) := \mathrm{tr}(P^{-1}Q)$, where $\mathrm{tr}(\cdot)$ denotes the trace operator.

>**My question.** Let $\lambda_{\max}(P)$ denote the largest eigenvalue of $P$. It is quite easy to see that
$$\tag{$\star$}\label{star}
f(Q) \ge \frac{\mathrm{tr}(Q)}{\lambda_{\max}(P)}.
$$
However, does there *always* (i.e., for any choice of $A$ Hurwitz stable) exist a $Q\in \mathcal{Q}$, for which \eqref{star} is attained with equality?