Sum from n=15 to 20 0.5^20*(20 choose n)