[math-fun] harmonic sum?