>>> prop_int_ksigma(10000,100,5,0.2,3)
0.9972
>>> prop_int_ks(10000,100,5,0.2,3)
0.9974