1. Плохо искали. Она в интернете есть, например, в lib.homelinux.org.
2. Ключевое слово - лемма Бореля-Кантелли. Она дает способ различить, какую вероятность (0 или 1) имеет lim sup последовательности событий (в общих чертах). Лемма достаточно распространена в книгах по теории вероятностей.
3. Ряд

сходится или расходится в зависимости от

. В первом случае вероятность равна 0, во втором - 1. Так что на самом деле что-то смущает в постановке вашей задачи...