Message Boards Message Boards

1
|
3962 Views
|
2 Replies
|
2 Total Likes
View groups...
Share
Share this post:

Simplify symbolic inequality?

graphoutput "The number of k-permutations is always less (or equal) than the numer of k-tupels", is a known simple truth in combinatorics:

inequality

Table[n!/(n - k)! <= n^k, {n, 1, 100}, {k, 1, n}] (* Out= {True,True,True,etc} *)

I've tried combinations of Simplify, FullSimplify, Reduce, FunctionExpand, Assuming, Assumptions and can't get a True (i actually once got a False). A failing example with Reduce is:

Reduce[n!/(n - k)! <= n^k && n > k && k > 0, {n, k}, Integers]

Does anyone have better luck in getting a True for this inequality expression?
POSTED BY: Raspi Rascal
2 Replies
Sort By:

Using: Mathematica 12.2.0

Maybe:

 AsymptoticLessEqual[n!/(n - k)!, n^k, n -> \[Infinity], 
 Assumptions -> {k \[Element] Integers, k > 0}]
 (*True*)

But:

  AsymptoticLessEqual[n!/(n - k)!, n^k, k -> \[Infinity], 
  Assumptions -> {n \[Element] Integers, n > 0}]
  (*Can't find ?*)

or:

AsymptoticLessEqual[n!/(n - k)!, n^k, {n, k} -> \[Infinity]]
(*Can't....*)
POSTED BY: Mariusz Iwaniuk

Interesting approach, thank you! Your True is only valid for Infinity, not for normal values, as shown in the graph. Looks like the expression is a challenge for the Wolfram engine.
POSTED BY: Raspi Rascal
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract