\sum_{n=25}^{100}(1/6)^n\times(5/6)^{100-n}\times\binom{100}{n}