add P_atleast_x_of_n