Counting increasing sequences with Burnside's lemma
https://blog.plover.com/math/increasing-sequences-2.html [blog.plover.com]
2017-10-17 00:12
The Burnside lemma is a kind of big hammer to use here, but I like big hammers. And the results of this application of the big hammer are pretty good, and justify it in the end.