[math-fun] Benford-type law for OEIS ???