Summing the "exactly one 42" and similar subsums of the harmonic series | Synapse