Ошибка заключается в том, что не всегда появится нужная последовательность шагов. Например, если пьяница делает один шаг в сторону от обрыва и один шаг в сторону обрыва, и повторяет эту последовательность бесконечно много раз, то нужная последовательность не появится.
В марковских цепях есть тема: "Cлучайные блуждания на кубических решетках", в ней как раз и разбираются подобного рода задачи. Например, в книге "Вероятность и статистика в примерах и задачах. Том 2. Марковские цепи как отправная точка теории случайных процессов и их приложения. Кельберт М. Я., Сухов Ю. М." на 59 стр. разбирается эта тема.
Наполовину вы правы. Если ограничить количество шагов пьяницы, то, действительно, событие "пьяница упал с обрыва" не является достоверным (за исключением тривиального случая, когда). Если же не ограничивать количество шагов, то событие "пьяница упал с обрыва" будет достоверным при потому что примножество элементарных событий состоит только из этого события.
Спасибо, надо будет попробовать.
Спасибо, что-то проглядел это.
Есть такое, тоже заметил, но это потому что тестовый вариант. Для него я делал анимацию не совсем правильно, отсюда и такой артефакт.
Да, но просто так линейка выглядит красивее и привычнее.
Ошибка заключается в том, что не всегда появится нужная последовательность шагов. Например, если пьяница делает один шаг в сторону от обрыва и один шаг в сторону обрыва, и повторяет эту последовательность бесконечно много раз, то нужная последовательность не появится.
Кстати, аналогичный подход используется, если вводить цепь Маркова.
Если я правильно понял вопрос, то может ли вероятность
быть меньше 
Нет, не может, потому что верно следующее неравенство
В марковских цепях есть тема: "Cлучайные блуждания на кубических решетках", в ней как раз и разбираются подобного рода задачи. Например, в книге "Вероятность и статистика в примерах и задачах. Том 2. Марковские цепи как отправная точка теории случайных процессов и их приложения. Кельберт М. Я., Сухов Ю. М." на 59 стр. разбирается эта тема.
Через Adobe Premiere Pro я делал GIF, потому что каждая анимация изначально была в формате mp4.
Использовал только библиотеку manimCE для Python. В конце статьи есть ссылка на неё.
Наполовину вы правы. Если ограничить количество шагов пьяницы, то, действительно, событие "пьяница упал с обрыва" не является достоверным (за исключением тривиального случая, когда
). Если же не ограничивать количество шагов, то событие "пьяница упал с обрыва" будет достоверным при
потому что при
множество элементарных событий состоит только из этого события.