Fixed rejection sampler for P(n|a,b).