MAJ des citations et des sections

[rairo15.git] / stopping.tex

diff --git a/stopping.tex b/stopping.tex
index 567ab014f8a246bff2cd12447453c7c598c0898f..d095a3a44ed709fb9cb928c9db1c603aece2d276 100644 (file)
--- a/stopping.tex
+++ b/stopping.tex
@@ -176,14 +176,16 @@ let $S_{X,\ell}$ be the
 random variable that counts the number of steps 
 from $X$ until we reach a configuration where
 $\ell$ is fair. More formally
 random variable that counts the number of steps 
 from $X$ until we reach a configuration where
 $\ell$ is fair. More formally

-$$S_{X,\ell}=\min \{t \geq 1\mid h(X_{t-1})\neq \ell\text{ and }Z_t=(\ell,\.)\text{ and } X_0=X\}.$$
+$$S_{X,\ell}=\min \{t \geq 1\mid h(X_{t-1})\neq \ell\text{ and }Z_t=(\ell,.)\text{ and } X_0=X\}.$$

 
  We denote by
 $$\lambda_h=\max_{X,\ell} S_{X,\ell}.$$
 
 
 \begin{Lemma}\label{prop:lambda}
 
  We denote by
 $$\lambda_h=\max_{X,\ell} S_{X,\ell}.$$
 
 
 \begin{Lemma}\label{prop:lambda}

-If $\ov{h}$ is a square-free bijective function, then one has $E[\lambda_h]\leq 8n^2.$
+If $\ov{h}$ is a square-free bijective function, then the inequality 
+$E[\lambda_h]\leq 8n^2$ is established.
+

 \end{Lemma}
 
 \begin{proof}
 \end{Lemma}
 
 \begin{proof}


@@ -244,4 +246,4 @@ Theorem~\ref{prop:stop} is a direct application of
 lemma~\ref{prop:lambda} and~\ref{lm:stopprime}.
 \end{proof}
 
 lemma~\ref{prop:lambda} and~\ref{lm:stopprime}.
 \end{proof}
 

-\end{document}
+