Teorema: Los pájaros nunca beberán alcohol

Para demostrar este teorema, vamos a basarnos en un resultado sobre caminos aleatorios.

Paseo aleatorio en dimensión dos

¿Qué es un camino aleatorio? Consideremos un suceso con dos posibles resultados, por ejemplo el de lanzar una moneda al aire. Si la moneda no está trucada, la probabilidad de que caiga cara o cruz es la misma, de 1/2. Si estudiamos la sucesión de sucesos de este tipo –que son estadísticamente independientes– obtenemos un camino o paseo aleatorio, en este caso, de dimensión 1: daríamos un paso a la izquierda o a la derecha, dependiendo de que saliera cara o cruz.