power

fun power(n: Int, k: Int, rate: Long): Long(source)

P(Bin(n, rate) >= k) in micro-units, by a dynamic program in picos with each product floored, so the value is at most 1 micro-unit low.