[math-fun] counts for related divisor chains