}})$ with $H( Q \mid Q_{\rho,{\mathscr{W}}}) < \infty$. There exist a sequence $(h_n)_{n\in{\mathbb{N}}}$ with $h_n>0$ and $\lim_{n\to\infty} h_n = 0$ and a sequence $(Q'_n)_{n\in{\mathbb{N}}}$ with $Q'_n \in \mathcal{P}^{\mathrm{fin}}(\widetilde{E}_{h_n}^{\mathbb{N}})$ and ${\mathop{\text{\rm w-lim}}}_{n\to\infty} Q'_n = Q$ such that $\limsup_{n\to\infty} I^{\mathrm{que}}_{h_n}(Q'_n) 
\leq I^{\mathrm{que}}(Q)$. The same holds with $F$ replaced by $F_{0,{{\rm tr}}}$ and $\widetilde{E}_{h_n}$ replaced by $\widetilde{E}_{h_n,{{\rm tr}}}$.

Recall the definition of $\lceil Q \rceil_h$ in Step 2 of the proof of part (1) of Proposition \[prop:Ique.tr.cont\] (see page ). For any $N\in{\mathbb{N}}$, we have $$\begin{aligned}
\label{eq:anyway1}
h(\pi_N \lceil Q \rceil_h \mid \pi_N \lceil Q_{\rho,{\mathscr{W}}} \rceil_h) 
\leq h(\pi_N Q \mid \pi_N Q_{\rho,{\mathscr{W}}}) \leq N \, H( Q \mid Q_{\rho,{\mathscr{W}}}).\end{aligned}$$ The second inequality follows from. For the first inequality, use the fact that the construction of $\lceil Q \rceil_h$ can be implemented as a deterministic function of the pair of random variables $(Y,U)$, together with the fact that relative entropy can only decrease when image measures are taken. Write $\hat{\tau}_i = (\tilde{T}_i-\tilde{T}_{i-1})/h$, $i \in {\mathbb{N}}$. Since letters both under $\lceil Q_{\rho,{\mathscr{W}}} \rceil_h$ and under $Q_{\lceil \rho \rceil_h,{\mathscr{W}}}$ are constructed from a Brownian path that is independent of the word lengths, we have (recall \[def
} }) $ with $ H (Q \mid Q_{\rho,{\mathscr{W } } }) < \infty$. There exist a sequence $ (h_n)_{n\in{\mathbb{N}}}$ with $ h_n>0 $ and $ \lim_{n\to\infty } h_n = 0 $ and a sequence $ (Q'_n)_{n\in{\mathbb{N}}}$ with $ Q'_n \in \mathcal{P}^{\mathrm{fin}}(\widetilde{E}_{h_n}^{\mathbb{N}})$ and $ { \mathop{\text{\rm w - lim}}}_{n\to\infty } Q'_n = Q$ such that $ \limsup_{n\to\infty } I^{\mathrm{que}}_{h_n}(Q'_n) 
 \leq I^{\mathrm{que}}(Q)$. The same holds with $ F$ replace by $ F_{0,{{\rm tr}}}$ and $ \widetilde{E}_{h_n}$ replace by $ \widetilde{E}_{h_n,{{\rm tr}}}$. 

 Recall the definition of $ \lceil Q \rceil_h$ in Step   2 of the proof of function   (1) of Proposition   \[prop: Ique.tr.cont\ ] (see page  ). For any $ N\in{\mathbb{N}}$, we have $ $ \begin{aligned } 
 \label{eq: anyway1 } 
 h(\pi_N \lceil Q \rceil_h \mid \pi_N \lceil Q_{\rho,{\mathscr{W } } } \rceil_h) 
 \leq h(\pi_N Q \mid \pi_N Q_{\rho,{\mathscr{W } } }) \leq N \, H (Q \mid Q_{\rho,{\mathscr{W}}}).\end{aligned}$$ The second inequality surveil from. For the first inequality, use the fact that the structure of $ \lceil Q \rceil_h$ can be follow through as a deterministic function of the couple of random variables $ (Y, U)$, together with the fact that relative information can only decrease when image measures are taken. Write $ \hat{\tau}_i = (\tilde{T}_i-\tilde{T}_{i-1})/h$, $ i \in { \mathbb{N}}$. Since letter both under $ \lceil Q_{\rho,{\mathscr{W } } } \rceil_h$ and under $ Q_{\lceil \rho \rceil_h,{\mathscr{W}}}$ are constructed from a Brownian path that is independent of the son lengths, we have (recall \[def
}})$ wihh $H( Q \mid Q_{\rho,{\mathscr{W}}}) < \infty$. There exnwt a sxquence $(h_n)_{n\in{\maghbb{N}}}$ with $h_n>0$ and $\lim_{n\to\inftb} h_n = 0$ ane a sequence $(Q'_n)_{n\in{\mathcb{N}}}$ with $E'_n \in \marhcao{P}^{\mathrm{fin}}(\xjdetildc{Z}_{h_n}^{\mafmbb{N}})$ cnv ${\mathop{\text{\rm e-lim}}}_{n\to\infdy} Q'_n = Q$ such dhxt $\limsup_{n\to\infty} I^{\mathrm{que}}_{h_n}(Q'_n) 
\leq Y^{\mathrm{auf}}(Q)$. The same hojds eyth $R$ replaced by $F_{0,{{\rm tr}}}$ and $\widetilde{S}_{h_n}$ repnaced by $\wideyilde{E}_{h_n,{{\rm tr}}}$.

Recall the devinihion of $\lceil Q \rcfil_h$ in Stek 2 of rhe proof of part (1) of Pgmposition \[ptop:Ique.tr.cont\] (see page ). For any $N\kn{\matkbb{N}}$, we havg $$\gehhn{aligned}
\lauel{eq:agyway1}
h(\pi_N \lccpl Q \rcail_h \mic \pi_N \lceil Q_{\rmo,{\matiscr{Q}}} \rceil_h) 
\leq h(\pi_N Q \mmd \pi_N Q_{\rho,{\mathscr{W}}}) \jeq N \, H( X \jid Q_{\rho,{\mathscr{W}}}).\ebd{qligngd}$$ Tha sezind intquelify folpowa from. For the first unequality, use the gasn that the cohstruceijn of $\lceil Q \rceil_h$ can be implemented as a deterministic functiin of the pair of ranfom variafles $(Y,U)$, together with the fact that relative entrmpy cen onoy awcgease when image measures are taken. Write $\hat{\ezu}_o = (\tilde{T}_i-\tilde{T}_{l-1})/h$, $i \in {\mathbb{N}}$. Simcf kgtters both unaer $\lczjl Q_{\rho,{\mathscr{W}}} \rceip_h$ and onder $W_{\lceil \rhj \rcril_h,{\mathscr{W}}}$ are constructee from a Brocniqn path that is inbependent of the word lengths, we have (recall \[def
}})$ with $H( Q \mid Q_{\rho,{\mathscr{W}}}) < exist sequence $(h_n)_{n\in{\mathbb{N}}}$ $h_n>0$ and $\lim_{n\to\infty} sequence with $Q'_n \in and ${\mathop{\text{\rm w-lim}}}_{n\to\infty} = Q$ such that $\limsup_{n\to\infty} I^{\mathrm{que}}_{h_n}(Q'_n) I^{\mathrm{que}}(Q)$. The same holds with $F$ replaced by $F_{0,{{\rm tr}}}$ and $\widetilde{E}_{h_n}$ replaced $\widetilde{E}_{h_n,{{\rm tr}}}$. Recall the definition of $\lceil Q \rceil_h$ in Step 2 of proof part of \[prop:Ique.tr.cont\] (see page ). For any $N\in{\mathbb{N}}$, we have $$\begin{aligned} \label{eq:anyway1} h(\pi_N \lceil Q \rceil_h \mid \lceil Q_{\rho,{\mathscr{W}}} \rceil_h) \leq h(\pi_N Q \mid \pi_N \leq N \, H( \mid Q_{\rho,{\mathscr{W}}}).\end{aligned}$$ The second inequality from. the first use fact the construction of Q \rceil_h$ can be implemented as a deterministic function of the pair of random variables $(Y,U)$, together the fact entropy can decrease image are taken. Write (\tilde{T}_i-\tilde{T}_{i-1})/h$, $i \in {\mathbb{N}}$. Since letters Q_{\rho,{\mathscr{W}}} \rceil_h$ and under $Q_{\lceil \rho \rceil_h,{\mathscr{W}}}$ are from a path that is independent of the lengths, we have (recall \[def
}})$ with $H( Q \mid Q_{\rho,{\mathscr{W}}}) < \inftY$. There exisT a seqUenCe $(h_N)_{n\In{\maThbb{n}}}$ with $h_n>0$ and $\lim_{n\TO\infTy} h_n = 0$ and a sequence $(Q'_n)_{n\in{\mAthbb{n}}}$ wITh $Q'_n \IN \mAthcaL{P}^{\mathrM{FiN}}(\WIdeTiLdE{E}_{h_N}^{\mAThBb{N}})$ anD ${\maThop{\texT{\rm w-lim}}}_{n\to\InfTy} q'_n = Q$ such that $\lIMsUp_{n\to\infty} i^{\maThrm{que}}_{h_n}(Q'_n) 
\lEq I^{\Mathrm{QuE}}(Q)$. THE same HolDs witH $F$ replACed by $F_{0,{{\Rm tr}}}$ and $\wiDeTIlde{E}_{h_N}$ ReplaceD BY $\wIdetIlde{E}_{h_n,{{\rm tr}}}$.

Recall THe DEfinition of $\lceIl Q \rceIl_H$ In sTEp 2 oF thE proof of paRt (1) Of ProPOsition \[PRoP:iQUe.tR.Cont\] (see page ). FoR any $N\in{\mathBB{N}}$, wE have $$\bEgIn{aLIgned}
\lAbel{eQ:aNYwaY1}
h(\pi_N \lceil Q \RceiL_h \mid \pi_N \lCeil Q_{\rHO,{\mathscR{w}}} \rceil_h) 
\Leq h(\pi_n Q \mId \pI_N Q_{\rHO,{\mAtHscR{W}}}) \LEq N \, h( q \mId Q_{\RHo,{\mAthscr{W}}}).\eNd{AlIgned}$$ the sECOND ineQuaLity FolloWs from. For the fIrsT ineQUalIty, usE the fAct tHaT the cOnstruCtion Of $\Lceil Q \rceil_h$ can Be imPlemented As a DeTerMiNistiC FunctiOn oF thE pair of Random vARiaBlES $(y,u)$, tOgether with the fact ThAT ReLative enTropy cAN oNlY Decrease WhEn iMage MEAsureS are TAkEn. Write $\hAt{\tau}_i = (\TIlDe{t}_i-\tilde{t}_{i-1})/H$, $i \in {\maThBb{N}}$. sinCe letTErs bOth undEr $\lceil Q_{\Rho,{\maTHscr{W}}} \rceil_h$ and UNder $Q_{\lceil \rho \RCeIL_H,{\mAThscR{W}}}$ aRe constructEd frOM a BrOwniAN pAth THat is IndepEnDEnT Of the word lengths, we hAvE (recalL \[def
}})$ with $H( Q \mid Q_{\r ho,{\maths cr{W} }})  <\i nfty $. T here exist a s e quen ce $(h_n)_{n\in{\mathb b{N}} }$ with $h _n>0$  and $\ l im _ { n\t o\ in fty }h _n  = 0$  an d a seq uence $(Q' _n) _{ n\in{\mathbb { N} }}$ with $ Q'_ n \in \mathc al{ P}^{\m at hrm { fin}} (\w ideti lde{E} _ {h_n}^ {\mathbb{ N} } )$ and ${\math o p {\ text {\rm w-lim}}}_{n\ t o\ i nfty} Q'_n = Q $ such  t h at $ \li msu p_{n\to\in ft y} I^ { \mathrm { qu e } } _{h _ n}(Q'_n) 
\le q I^{\mathr m {qu e}}(Q) $.  Th e  sameholds  w i th$F$ replace d by  $F_{0,{{ \rm tr } }}$ and $\widet ilde{E }_{ h_n }$ r e pl ac edby $\w i de til d e{E }_{h_n,{ {\ rm  tr}} }$.R e c allthe  def initi on of $\lceil  Q\rce i l_h $ inStep2 of  t he pr oof of  part  ( 1) of Propositi on \ [prop:Iqu e.t r. con t\ ] (se e  page).For  any $N \in{\ma t hbb {N } } $ ,we have $$\begin{a li g n ed }
\label {eq:an y wa y1 } 
h(\pi_N  \ lce il Q \ rceil _h \ m id  \pi_N \ lceilQ _{ \r ho,{\ma th scr{W} }}  \r cei l_h)\leq  h(\pi _N Q \mi d \pi _ N Q_{\rho,{\ma t hscr{W}}}) \l e qN \, H( Q  \m id Q_{\rho, {\ma t hscr {W}} } ). \en d {alig ned}$ $T he second inequality f ol lows f rom.For the first  inequalit y , use thefact th a t the construc tionof $\lceil Q \rceil _h$ c an be im plemented a s a dete rmi nis tic  fu n c ti on of the pai r of r an dom var iab les $(Y ,U) $,tog eth er  with the  fact th at  r el at ive  entr o py can o nl y d ec rea se wh e n imag e mea sure sar e  ta ken. Wr i te $ \hat {\ ta u}_i  =(\ tilde {T}_ i -\t ilde{T} _{i-1})/h $,$ i \i n{\ mathbb{ N}}$. Since l et ters bothun der  $\lce i l  Q_{\rho ,{\mathscr{W}}} \rceil_ h $ and u nde r $Q_ {\lc eil \rho\rc eil_h, {\m a thscr{ W}}}$are c on str u c ted f r o ma B ro wnian path t hat  is i nd epen dent of  the word lengths, wehave (recall\[d ef
}})$ with_$H( Q_\mid Q_{\rho,{\mathscr{W}}}) < \infty$._There exist_a_sequence $(h_n)_{n\in{\mathbb{N}}}$_with_$h_n>0$ and $\lim_{n\to\infty}_h_n = 0$_and a sequence $(Q'_n)_{n\in{\mathbb{N}}}$_with $Q'_n \in_\mathcal{P}^{\mathrm{fin}}(\widetilde{E}_{h_n}^{\mathbb{N}})$_and ${\mathop{\text{\rm w-lim}}}_{n\to\infty} Q'_n = Q$ such that $\limsup_{n\to\infty} I^{\mathrm{que}}_{h_n}(Q'_n) 
\leq I^{\mathrm{que}}(Q)$. The same_holds_with $F$_replaced_by_$F_{0,{{\rm tr}}}$ and $\widetilde{E}_{h_n}$ replaced_by $\widetilde{E}_{h_n,{{\rm tr}}}$.

Recall the definition_of $\lceil_Q \rceil_h$ in Step 2 of the proof of_part (1)_of Proposition \[prop:Ique.tr.cont\] (see_page ). For any $N\in{\mathbb{N}}$, we have $$\begin{aligned}
\label{eq:anyway1}
h(\pi_N \lceil Q_\rceil_h \mid \pi_N \lceil Q_{\rho,{\mathscr{W}}} \rceil_h)_
\leq h(\pi_N Q_\mid_\pi_N_Q_{\rho,{\mathscr{W}}}) \leq N \,_H( Q \mid Q_{\rho,{\mathscr{W}}}).\end{aligned}$$ The second_inequality follows from. For the first_inequality, use the fact that the construction_of $\lceil Q \rceil_h$ can be_implemented as a deterministic function_of the_pair of random variables $(Y,U)$,_together with the_fact that_relative entropy can_only decrease when image measures are_taken. Write $\hat{\tau}_i_= (\tilde{T}_i-\tilde{T}_{i-1})/h$, $i \in {\mathbb{N}}$. Since_letters_both under $\lceil_Q_{\rho,{\mathscr{W}}}_\rceil_h$_and under_$Q_{\lceil \rho \rceil_h,{\mathscr{W}}}$_are_constructed from_a_Brownian path that is independent of_the_word lengths, we have (recall \[def