A service handles at most capacity requests per interval, and arrivals are Poisson with mean rate per interval. Return the probability of overload, that is more than capacity arrivals.

Sum the mass up to capacity and subtract from 1. Provisioning to the mean leaves you overloaded roughly half the time, which is the practical point.

Input

rate = 10.0
capacity = 10

Output

0.4169602498070144