y=x/k mean and standard deviation proofs (pdf)