
@BeatToedtli @AlgebraFact Been 20 years since I heard, but as I recall there’s a formula for enumerating something related to the UFD, which as a count must be integral. You get a power series for the count, 163 is large enough it converges fast, the first term is the exp in the OP, and the rest are tiny.
English



















