Observations are single draws \(X \sim N(\theta, \Sigma)\) with \(\Sigma\) known, so the parameter is the mean.
Details
The sample space real_region() cannot be enumerated: use mc_engine() or
gh_engine(), not exact_engine(). No certified gap bound is available at
the time of writing.