binomialdistribution(100, 0.05) \ge 10