The first possibilityThere is to replace weak convergencea version of the sequence $\mu_{n}$ with setwise convergencea generalized Fatou lemma, under the condition that is $$ \int _ { A } f ( s ) \mu _ { n } ( d s ) \rightarrow \int _ { A } f ( s ) \mu ( d s ) \quad \text { as } \quad n \rightarrow + \infty, $$ for any bounded, for all measurable functionset $f$$E$, $\liminf_n \mu_n(E)\leq\mu(E)$, see p
O.231 of H Hernández-Lerma, J-B. RoydenLasserre, Real Analysis Fatou's lemma and Lebesgue's convergence theorem for measures, 1968J. Appl. Math. Stochastic Anal. 13 (2000), no. 2, 137–146.
The second possibilityThere is to keepalso the weak convergence of $\mu_{n}$ butpossibility to modify the right-hand side of the seeked inequality as shown in
E. Feinberg, P. Kasyanov, N. Zadoianchuk, Fatou's lemma for weakly converging probabilities, Theory Probab. Appl. 58 (2014), no. 4, 683-689 (Arxiv1206.4073).
Theorem 1.1 p.2, stated for measurable functions instead of sets, says
Let $\{\mu_{n}\}\subset\mathbb{P}(A)$ converge weakly to $\mu\in\mathbb{P}(A)$, and let $\{f_{n}\}_{n\geq1}$ be a sequence of measurable nonnegative $\overline{\mathbb{R}}$-valued functions on $A$. Then $$ \int \liminf_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ) \leq \liminf _ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s ). $$ or, equivalently, with $\limsup$ instead of $\liminf$, and a sequence $\{f_{n}\}$ of measurable functions uniformly bounded above, $$ \limsup_ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s )\leq \int \limsup_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ). $$