A local traffic light is set so that it cycles between 30 seconds of red and 30 seconds of green. What is the probability of randomly hitting a red light more than 25 times in n = 40 trips through the intersection?