801675domain: NAppears in sequencesTotal size of all principal order ideals in the poset of integer partitions of n with the refinement order.at n=25A265947