[math-fun] Probabilistic harmonic series