Sampling Without Replacement Formula