24/03/03 17:28:55.81 Zuf5N+ft0.net
n=5
p100=Primes(1000)[1:100]
hist(p100)
m=mean(p100)*n
sd=sqrt(var(p100)*n)
curve(dnorm(x,m,sd),0,2000)
M=1000
pnorm(M,m,sd)
sim =\() sum(sample(p100,n))<M
replicate(1e6,sim()) |> mean()
sn=rowSums(comboGeneral(p100,n))
mean(sn<M)
nu=sum(sn<M)
de=length(sn)
cat(nu,'/',de,'\n')
GCD(nu,de)
cat(nu/144,'/',de/144,'\n')
nu/de