 P_n  \circ \left( M^{f,\mathbb{X}} \right) ^{-1}; \text{ }f: \lbrace 0, \dots, n \rbrace \times \mathbb{R}^{n+1} \rightarrow \sqrt{\mathbf{D}} \text{ is adapted}\right\}.
    $ Then $\mathcal{Q}_{\mathbf{D}}^{n} \subseteq \mathcal{P}_{\mathbf{D}}^{n}$.

\[mthm\]

Let $\xi: \Omega \rightarrow \mathbb{R}$ be a continuous function satisfying $|\xi(\omega)| \leq a(1+\parallel \omega\parallel_{\infty})^b$ for some constants $a,b >0.$ Then,

-   $$\label{main-thm}
            \lim _{n \rightarrow \infty} \sup_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi (\widehat{X}^n)]  = \sup_{P \in \mathcal{Q}_{\mathbf{D}}} \mathbb{E}^{P} [\xi].$$

-   $$\label{max-eq}
            \sup_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi (\widehat{X}^n)] =  \max_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi (\widehat{X}^n)].$$

To prove, we prove two separate inequalities together with a density argument. The left-hand side of can be written as $$\sup_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi (\widehat{X}^n)] =  \sup_{f \in \mathcal{A} } \mathbb{E}^{P_n \circ (M^{f, \mathbb{X}})^{-1}} [\xi (\widehat{X}^n)],$$ where $\mathcal{A} =  \left\lbrace f: \lbrace 0, \dots, n \rbrace \times \mathcal{L}^{n+1}_{n} \rightarrow \sqrt{\
P_n   \circ \left (M^{f,\mathbb{X } } \right) ^{-1 }; \text { } f: \lbrace 0, \dots, n \rbrace \times \mathbb{R}^{n+1 } \rightarrow \sqrt{\mathbf{D } } \text { is adapted}\right\ }. 
     $ Then $ \mathcal{Q}_{\mathbf{D}}^{n } \subseteq \mathcal{P}_{\mathbf{D}}^{n}$. 

 \[mthm\ ] 

 Let $ \xi: \Omega \rightarrow \mathbb{R}$ be a continuous function satisfying $ |\xi(\omega)| \leq a(1+\parallel \omega\parallel_{\infty})^b$ for some constants $ deoxyadenosine monophosphate, boron > 0.$ Then, 

 -    $ $ \label{main - thm } 
             \lim _ { n \rightarrow \infty } \sup_{\mathbb{Q } \in \mathcal{Q}_{\mathbf{D}^{\prime}_n / n}^{n } } \mathbb{E}^{\mathbb{Q } } [ \xi (\widehat{X}^n) ]   = \sup_{P \in \mathcal{Q}_{\mathbf{D } } } \mathbb{E}^{P } [ \xi].$$ 

 -    $ $ \label{max - eq } 
             \sup_{\mathbb{Q } \in \mathcal{Q}_{\mathbf{D}^{\prime}_n / n}^{n } } \mathbb{E}^{\mathbb{Q } } [ \xi (\widehat{X}^n) ] =   \max_{\mathbb{Q } \in \mathcal{Q}_{\mathbf{D}^{\prime}_n / n}^{n } } \mathbb{E}^{\mathbb{Q } } [ \xi (\widehat{X}^n)].$$ 

 To prove, we test two separate inequalities in concert with a density argument. The left - hired hand side of can be written as $ $ \sup_{\mathbb{Q } \in \mathcal{Q}_{\mathbf{D}^{\prime}_n / n}^{n } } \mathbb{E}^{\mathbb{Q } } [ \xi (\widehat{X}^n) ] =   \sup_{f \in \mathcal{A } } \mathbb{E}^{P_n \circ (M^{f, \mathbb{X}})^{-1 } } [ \xi (\widehat{X}^n)],$$ where $ \mathcal{A } =   \left\lbrace farad: \lbrace 0, \dots, n \rbrace \times \mathcal{L}^{n+1}_{n } \rightarrow \sqrt{\
 P_n  \circ \left( M^{f,\mathbb{X}} \rinht) ^{-1}; \text{ }f: \lbraew 0, \dotv, n \rbdace \timds \mathbb{R}^{n+1} \rightarrow \sqrt{\methbd{D}} \tezt{ is adapted}\right\}.
    $ Then $\matjcal{Q}_{\matybf{D}}^{i} \subseteq \mathcem{P}_{\mathbn{B}}^{n}$.

\[mthj\]

Pet $\ri: \Omega \rightartow \mathbb{R}$ te a continuouv wuuction satisfying $|\xi(\omega)| \leq a(1+\paraljel \omeba\oarallel_{\infty})^b$ for fome bokstants $a,b >0.$ Then,

-   $$\label{main-thm}
            \lim _{n \rigntarrow \infty} \sup_{\mathbb{Q} \ij \mahhcal{Q}_{\mathbf{D}^{\prime}_j/n}^{n}} \mathbb{E}^{\nathfv{Q}} [\xi (\widehag{X}^n)]  = \sup_{P \in \mathcal{Q}_{\jathbf{D}}} \mathbb{E}^{P} [\xi].$$

-   $$\label{max-ed}
            \suk_{\mztjtb{Q} \in \mathral{Q}_{\manhbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\kathbb{Q}} [\xi (\widehat{X}^n)] =  \mex_{\marhbb{Q} \in \mathcal{Q}_{\mathuf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mwthbb{Q}} [\xi (\wndehat{X}^n)].$$

To prove, we peoce twm se[aragw iveqhakifies tlgevher with a density artument. The left-hand syee of can be sritteg ws $$\sup_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{t}} \mzthbb{E}^{\mathbb{Q}} [\xi (\widehar{X}^n)] =  \sup_{f \in \mathcal{W} } \mathbb{Q}^{P_n \circ (M^{f, \mathbb{X}})^{-1}} [\xi (\widehat{X}^n)],$$ where $\mathcal{A} =  \left\mcraec w: \lhrace 0, \dots, n \rbrace \times \mathcal{L}^{n+1}_{n} \rightarwkw \sart{\
P_n \circ \left( M^{f,\mathbb{X}} \right) ^{-1}; \text{ 0, n \rbrace \mathbb{R}^{n+1} \rightarrow \sqrt{\mathbf{D}} $\mathcal{Q}_{\mathbf{D}}^{n} \mathcal{P}_{\mathbf{D}}^{n}$. \[mthm\] Let \Omega \rightarrow \mathbb{R}$ a continuous function satisfying $|\xi(\omega)| \leq \omega\parallel_{\infty})^b$ for some constants $a,b >0.$ Then, - $$\label{main-thm} \lim _{n \rightarrow \infty} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi (\widehat{X}^n)] = \sup_{P \in \mathcal{Q}_{\mathbf{D}}} \mathbb{E}^{P} [\xi].$$ - $$\label{max-eq} \in \mathbb{E}^{\mathbb{Q}} (\widehat{X}^n)] \max_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi (\widehat{X}^n)].$$ To prove, we prove two separate inequalities together with a argument. The left-hand side of can be written $$\sup_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} (\widehat{X}^n)] = \sup_{f \in \mathcal{A} \mathbb{E}^{P_n (M^{f, \mathbb{X}})^{-1}} (\widehat{X}^n)],$$ $\mathcal{A} \left\lbrace f: \lbrace \dots, n \rbrace \times \mathcal{L}^{n+1}_{n} \rightarrow \sqrt{\
 P_n  \circ \left( M^{f,\mathbb{X}} \right) ^{-1}; \tExt{ }f: \lbrace 0, \Dots, n \RbrAce \TiMes \mAthbB{R}^{n+1} \rightarrow \sQRt{\maThbf{D}} \text{ is adapted}\righT\}.
    $ Then $\MaTHcal{q}_{\MaThbf{D}}^{N} \subsetEQ \mATHcaL{P}_{\MaThbF{D}}^{N}$.

\[MtHm\]

Let $\Xi: \OMega \rigHtarrow \matHbb{r}$ bE a continuous FUnCtion satisFyiNg $|\xi(\omega)| \leq A(1+\paRallel \OmEga\PArallEl_{\iNfty})^b$ For somE ConstaNts $a,b >0.$ Then,

-   $$\LaBEl{main-THm}
            \lim _{n \rIGHtArroW \infty} \sup_{\mathbb{Q} \iN \MaTHcal{Q}_{\mathbf{D}^{\prIme}_n/n}^{n}} \MaTHbB{e}^{\MatHbb{q}} [\xi (\widehat{x}^n)]  = \Sup_{P \iN \Mathcal{q}_{\MaTHBF{D}}} \mAThbb{E}^{P} [\xi].$$

-   $$\label{Max-eq}
            \sup_{\matHBb{Q} \In \mathCaL{Q}_{\mAThbf{D}^{\pRime}_n/N}^{n}} \MAthBb{E}^{\mathbb{Q}} [\xI (\widEhat{X}^n)] =  \max_{\Mathbb{q} \In \mathcAL{Q}_{\mathbF{D}^{\primE}_n/n}^{N}} \maThbb{e}^{\MaThBb{Q}} [\Xi (\WIdeHAt{x}^n)].$$

TO ProVe, we provE tWo SeparAte iNEQUAlitIes TogeTher wIth a density arGumEnt. THE leFt-hanD side Of caN bE writTen as $$\sUp_{\matHbB{Q} \in \mathcal{Q}_{\matHbf{D}^{\Prime}_n/n}^{n}} \mAthBb{e}^{\maThBb{Q}} [\xi (\WIdehat{x}^n)] =  \sUp_{f \In \mathcAl{A} } \mathBB{E}^{P_N \cIRC (m^{f, \Mathbb{X}})^{-1}} [\xi (\widehat{X}^n)],$$ WhERE $\mAthcal{A} =  \lEft\lbrACe F: \lBRace 0, \dots, N \rBraCe \tiMES \mathCal{L}^{N+1}_{N} \rIghtarroW \sqrt{\
 P_n  \circ \left( M^{f,\m athbb{X}}\righ t)^{- 1} ; \t ext{  }f: \lbrace 0 ,  \do ts, n \rbrace \times \ mathb b{ R }^{n + 1}  \rig htarrow \s q r t{\ ma th bf{ D} }  \ text{  is  adapte d}\right\} .
  $ Then $\ma t hc al{Q}_{\ma thb f{D}}^{n} \s ubs eteq \ ma thc a l{P}_ {\m athbf {D}}^{ n }$.

\ [mthm\]
Le t  $\xi: \Omega\ r ig htar row \mathbb{R}$ b e  a continuous fun ctionsa t is f y ing  $| \xi(\omega )|  \leq a(1+\pa r al l e l  \o m ega\parallel_ {\infty})^b $  fo r some  c ons t ants $ a,b > 0. $  Th en,

-   $$ \lab el{main-t hm}
        \lim _ {n \ri ght arr ow \ i nf ty } \ su p _{\ m at hbb { Q}\in \mat hc al {Q}_{ \mat h b f { D}^{ \pr ime} _n/n} ^{n}} \mathbb {E} ^{\m a thb b{Q}}  [\xi  (\w id ehat{ X}^n)]   = \ su p_{P \in \mathc al{Q }_{\mathb f{D }} } \ ma thbb{ E }^{P}[\x i]. $$

-  $$\lab e l{m ax - e q }            \sup_{ \m a t hb b{Q} \in  \math c al {Q } _{\mathb f{ D}^ {\pr i m e}_n/ n}^{ n }}  \mathbb {E}^{\ m at hb b{Q}} [ \x i (\wi de hat {X} ^n)]=   \m ax_{\m athbb{Q}  \in\ mathcal{Q}_{\m a thbf{D}^{\pri m e} _ n /n } ^{n} } \ mathbb{E}^{ \mat h bb{Q }} [ \ xi  (\ w ideha t{X}^ n) ] .$ $ 

To prove, we prov etwo se parat e inequalitie s together w i th a den sity ar g ument. The lef t-han d side ofc an be wr itten  as $$\s up_{\math b b {Q} \in\ma thc al{ Q}_ { \ ma thbf{D}^{\pri m e }_n/ n} ^{n}} \ mat hbb{E}^ {\m ath bb{ Q}}  [ \xi (\wid ehat{X}^ n) ]= \ sup _{f \ i n \mathc al {A}  }  \m athbb { E}^{P_ n \ci rc ( M^ {f ,  \m athbb{X } }) ^ { -1}}  [ \x i (\ wid eh at{X} ^n)] , $$where $ \mathcal{ A}=   \l ef t\ lbracef: \lbrace 0,  \ dots, n \r br ace  \time s \mathcal {L}^{n+1}_{n} \rightarr o w \sqrt {\
 P_n_ \circ_\left( M^{f,\mathbb{X}} \right) ^{-1};_\text{ }f:_\lbrace_0, \dots,_n_\rbrace \times \mathbb{R}^{n+1}_\rightarrow \sqrt{\mathbf{D}} \text{_is adapted}\right\}.
  _ $ Then_$\mathcal{Q}_{\mathbf{D}}^{n}_\subseteq \mathcal{P}_{\mathbf{D}}^{n}$.

\[mthm\]

Let $\xi: \Omega \rightarrow \mathbb{R}$ be a continuous function satisfying $|\xi(\omega)| \leq a(1+\parallel_\omega\parallel_{\infty})^b$_for some_constants_$a,b_>0.$ Then,

-   $$\label{main-thm}
_    _ _    \lim _{n \rightarrow \infty}_\sup_{\mathbb{Q}_\in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}}_[\xi (\widehat{X}^n)]  = \sup_{P \in \mathcal{Q}_{\mathbf{D}}} \mathbb{E}^{P} [\xi].$$

-_  $$\label{max-eq}
   _  ___   \sup_{\mathbb{Q}_\in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi (\widehat{X}^n)] =_ \max_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi_(\widehat{X}^n)].$$

To prove, we prove two separate inequalities_together with a density argument. The_left-hand side of can be_written as_$$\sup_{\mathbb{Q} \in \mathcal{Q}_{\mathbf{D}^{\prime}_n/n}^{n}} \mathbb{E}^{\mathbb{Q}} [\xi_(\widehat{X}^n)] = _\sup_{f \in_\mathcal{A} } \mathbb{E}^{P_n_\circ (M^{f, \mathbb{X}})^{-1}} [\xi (\widehat{X}^n)],$$ where_$\mathcal{A} = _\left\lbrace f: \lbrace 0, \dots, n_\rbrace_\times \mathcal{L}^{n+1}_{n} \rightarrow_\sqrt{\