1-\sum_{n=20}^{25}(\frac{7}{10}^n\times\frac{3}{10}^{25-n}\times\binom{25}{n})