Binomial probability at least