Talk:Floor of m+n-1 over n

I see the "Example" subpage, and I'm not sure what to think of it. It certainly marks a departure from the expository style we've had in the past. In general I think we've never aimed to include with a theorem any applications of it. Probably because we don't want or need to fix one approach towards a proof. Maybe the "what links here" and the source flows ought to be enough.

For identities like the ones on this page I guess it's useful to have some aggregation page (like we have for trig identities) because otherwise it's hard to find a specific one. Also because our internal search functionality is exceptionally poor. &mdash; Lord_Farin (talk) 04:00, 27 August 2016 (EDT)


 * I've been going with "examples" pages for e.g. Factorial, Euler Phi Function, and so on, and that seems to work. I thought it was a good idea here because it is truly such an arbitrary instance of an application of the technique. There is probably no direct application of it in practice, unless it turns out to be crucial in the calculation of the efficiency of some algorithm somewhere which Knuth investigates elsewhere in TAOCP.  Hence rather than cluttering up a category with lots of instances of awkwardly-named applications of a specific general rule, the use of "examples" could be the way to go.  And such a page would end up being that aggregation page which you suggest -- and we would go down that route, separating off the given example into a subpage, as and when we get more examples. --prime mover (talk) 04:29, 27 August 2016 (EDT)