title: Ley del logaritmo iterado
text: # Ley del logaritmo iterado
  
  En teoría de la probabilidad, la ley del logaritmo iterado describe la magnitud de las fluctuaciones de un paseo aleatorio. El enunciado original de esta ley se debe a A. Y. Jinchin (1924). A. N. Kolmogórov dio otra versión en 1929.
  
  ## Enunciado
  
  Sean $\{Y_{n}\}$ variables aleatorias independientes e idénticamente distribuidas, con media cero y varianza uno. Sea $S_{n}=Y_{1}+\cdots +Y_{n}$. Entonces
  
  $\limsup _{n\rightarrow \infty }{\frac {\pm S_{n}}{\sqrt {2n\log \log n}}}=1$
  
  casi seguramente.
  
  ## Discusión
  
  La ley del logaritmo iterado opera "entre" la ley de los grandes números y el teorema central del límite. Hay dos versiones de la ley de los grandes números (la débil y la fuerte), y afirman que las sumas $S_{n}$, escaladas por $n^{-1}$, convergen a cero (en probabilidad y casi seguramente, respectivamente):
  
      ${\frac {S_{n}}{n}}\ {\overset {p}{\rightarrow }}\ 0,\qquad {\frac {S_{n}}{n}}\ {\overset {c.s.}{\rightarrow }}\ 0,\qquad {\text{cuando }}\ n\rightarrow \infty .$
  
  Por otra parte, el teorema central del límite afirma que las sumas $S_{n}$, escaladas por $n^{-1/2}$, convergen en distribución a una distribución normal estándar. Por la ley cero-uno de Kolmogórov, para cada $M$ fijo, la probabilidad del evento $\limsup _{n}{\frac {S_{n}}{\sqrt {n}}}\geq M$ es 0 o 1. Pero
  
      $\Pr \left(\limsup _{n}{\frac {S_{n}}{\sqrt {n}}}\geq M\right)\geqslant \limsup _{n}\Pr \left({\frac {S_{n}}{\sqrt {n}}}\geq M\right)=\Pr \left({\mathcal {N}}(0,1)\geq M\right)>0,$
  
  luego
  
      $\limsup _{n}{\frac {S_{n}}{\sqrt {n}}}=\infty \qquad {\text{con probabilidad 1.}}$
  
  Un argumento análogo prueba que
  
      $\liminf _{n}{\frac {S_{n}}{\sqrt {n}}}=-\infty \qquad {\text{con probabilidad 1.}}$
  
  Por tanto, estas cantidades no pueden converger casi seguramente. De hecho, tampoco pueden converger en probabilidad, debido a la igualdad
  
      ${\frac {S_{2n}}{\sqrt {2n}}}-{\frac {S_{n}}{\sqrt {n}}}={\frac {1}{\sqrt {2}}}{\frac {S_{2n}-S_{n}}{\sqrt {n}}}-\left(1-{\frac {1}{\sqrt {2}}}\right){\frac {S_{n}}{\sqrt {n}}}$
  
  y al hecho de que las variables aleatorias
  
      ${\frac {S_{n}}{\sqrt {n}}}\quad {\text{and}}\quad {\frac {S_{2n}-S_{n}}{\sqrt {n}}}$
  
  son independientes y convergen en distribución a ${\mathcal {N}}(0,1).$
  
  La ley del logaritmo iterado proporciona el factor de escala en el que los dos límites se vuelven diferentes:
  
      ${\frac {S_{n}}{\sqrt {2n\log \log n}}}\ {\xrightarrow {p}}\ 0,\qquad {\frac {S_{n}}{\sqrt {2n\log \log n}}}\ {\stackrel {c.s.}{\nrightarrow }}\ 0,\qquad {\text{cuando}}\ \ n\to \infty .$
  
  Así, aunque para cualquier $\epsilon >0$ fijo la cantidad $\left|S_{n}/{\sqrt {2n\log \log n}}\right|$ será menor que $\epsilon$ con probabilidad tendiendo a 1, esta cantidad será sin embargo mayor que $\epsilon$ para valores de $n$ arbitrariamente grandes, casi seguramente; de hecho, esta cantidad visitará los entornos de cualquier punto del intervalo $(-1,1)$ para valores de $n$ arbitrariamente grandes, casi seguramente.
  
  