Number T(n,k) of endofunctions on [n] such that at least one preimage with cardinality >=k exists and a nonempty preimage of j implies that all i<=j have preimages with cardinality >=k; triangle T(n,k), n>=0, 0<=k<=n, read by rows.

A245732

Number T(n,k) of endofunctions on [n] such that at least one preimage with cardinality >=k exists and a nonempty preimage of j implies that all i<=j have preimages with cardinality >=k; triangle T(n,k), n>=0, 0<=k<=n, read by rows.

Terms

    a(0) =1a(1) =1a(2) =1a(3) =4a(4) =3a(5) =1a(6) =27a(7) =13a(8) =1a(9) =1a(10) =256a(11) =75a(12) =7a(13) =1a(14) =1a(15) =3125a(16) =541a(17) =21a(18) =1a(19) =1a(20) =1a(21) =46656a(22) =4683a(23) =141a(24) =21a(25) =1a(26) =1a(27) =1a(28) =823543a(29) =47293

External references