How do we prove that $(x-1)!leq{(frac{x}{2})^{x-1}}$?
I plotted the graph of $y=(x-1)!$ and $y=(frac{x}{2})^{x-1}$ and found that the latter is always greater than the former for $x>2$. Also, equality holds at $x=2$. Would someone please help me to prove it mathematically?
inequality
|
show 1 more comment
I plotted the graph of $y=(x-1)!$ and $y=(frac{x}{2})^{x-1}$ and found that the latter is always greater than the former for $x>2$. Also, equality holds at $x=2$. Would someone please help me to prove it mathematically?
inequality
3
That's wrong. For $x=6$ you have $5!=120<46,656=3^6$
– Yanko
2 days ago
1
It is not true since $n! sim sqrt{2pi n}(n/e)^n$ by Stirling's formula.
– Song
2 days ago
1
Actually, I think your inequality should be reversed because of Stirling's approximation formula.
– Clayton
2 days ago
Yes sorry the reversed inequality holds. Also it is $(x/2)^{x-1}$ instead of $(x/2)^x$.
– Shashwat1337
2 days ago
2
For every positive integer $n$, the arithmetic mean of $1, 2, ldots, n$ is $frac{n+1}{2}$, and the geometric mean of the same numbers is $sqrt[n]{n!}$, so $left(frac{n+1}{2}right)^n geqslant n!$
– Calum Gilhooley
2 days ago
|
show 1 more comment
I plotted the graph of $y=(x-1)!$ and $y=(frac{x}{2})^{x-1}$ and found that the latter is always greater than the former for $x>2$. Also, equality holds at $x=2$. Would someone please help me to prove it mathematically?
inequality
I plotted the graph of $y=(x-1)!$ and $y=(frac{x}{2})^{x-1}$ and found that the latter is always greater than the former for $x>2$. Also, equality holds at $x=2$. Would someone please help me to prove it mathematically?
inequality
inequality
edited 2 days ago
Shashwat1337
asked 2 days ago
Shashwat1337Shashwat1337
215
215
3
That's wrong. For $x=6$ you have $5!=120<46,656=3^6$
– Yanko
2 days ago
1
It is not true since $n! sim sqrt{2pi n}(n/e)^n$ by Stirling's formula.
– Song
2 days ago
1
Actually, I think your inequality should be reversed because of Stirling's approximation formula.
– Clayton
2 days ago
Yes sorry the reversed inequality holds. Also it is $(x/2)^{x-1}$ instead of $(x/2)^x$.
– Shashwat1337
2 days ago
2
For every positive integer $n$, the arithmetic mean of $1, 2, ldots, n$ is $frac{n+1}{2}$, and the geometric mean of the same numbers is $sqrt[n]{n!}$, so $left(frac{n+1}{2}right)^n geqslant n!$
– Calum Gilhooley
2 days ago
|
show 1 more comment
3
That's wrong. For $x=6$ you have $5!=120<46,656=3^6$
– Yanko
2 days ago
1
It is not true since $n! sim sqrt{2pi n}(n/e)^n$ by Stirling's formula.
– Song
2 days ago
1
Actually, I think your inequality should be reversed because of Stirling's approximation formula.
– Clayton
2 days ago
Yes sorry the reversed inequality holds. Also it is $(x/2)^{x-1}$ instead of $(x/2)^x$.
– Shashwat1337
2 days ago
2
For every positive integer $n$, the arithmetic mean of $1, 2, ldots, n$ is $frac{n+1}{2}$, and the geometric mean of the same numbers is $sqrt[n]{n!}$, so $left(frac{n+1}{2}right)^n geqslant n!$
– Calum Gilhooley
2 days ago
3
3
That's wrong. For $x=6$ you have $5!=120<46,656=3^6$
– Yanko
2 days ago
That's wrong. For $x=6$ you have $5!=120<46,656=3^6$
– Yanko
2 days ago
1
1
It is not true since $n! sim sqrt{2pi n}(n/e)^n$ by Stirling's formula.
– Song
2 days ago
It is not true since $n! sim sqrt{2pi n}(n/e)^n$ by Stirling's formula.
– Song
2 days ago
1
1
Actually, I think your inequality should be reversed because of Stirling's approximation formula.
– Clayton
2 days ago
Actually, I think your inequality should be reversed because of Stirling's approximation formula.
– Clayton
2 days ago
Yes sorry the reversed inequality holds. Also it is $(x/2)^{x-1}$ instead of $(x/2)^x$.
– Shashwat1337
2 days ago
Yes sorry the reversed inequality holds. Also it is $(x/2)^{x-1}$ instead of $(x/2)^x$.
– Shashwat1337
2 days ago
2
2
For every positive integer $n$, the arithmetic mean of $1, 2, ldots, n$ is $frac{n+1}{2}$, and the geometric mean of the same numbers is $sqrt[n]{n!}$, so $left(frac{n+1}{2}right)^n geqslant n!$
– Calum Gilhooley
2 days ago
For every positive integer $n$, the arithmetic mean of $1, 2, ldots, n$ is $frac{n+1}{2}$, and the geometric mean of the same numbers is $sqrt[n]{n!}$, so $left(frac{n+1}{2}right)^n geqslant n!$
– Calum Gilhooley
2 days ago
|
show 1 more comment
2 Answers
2
active
oldest
votes
As already noted in a comment, if $x$ is intended only to have integral values $geqslant 2$, then the inequality (corrected now, so that the inequality sign points in the right direction) follows from the AM-GM inequality, applied to the $x - 1$ numbers $1, 2, ldots, x - 1$.
But the question is naturally read as applying to all real values of $x geqslant 2$, so for the sake of other readers it is also worth proving the inequality in the more general case, with $(x - 1)!$ understood to mean $Gamma(x)$.
To prove
begin{equation}
label{ineq:1}tag{1}
logGamma(x) leqslant (x - 1)logleft(frac{x}{2}right) quad (x geqslant 2),
end{equation}
because this holds for $x = 2$, it is enough to prove the inequality obtained by differentiating both sides:
begin{equation}
label{ineq:2}tag{2}
psi(x) leqslant logleft(frac{x}{2}right) + 1 - frac{1}{x} quad (x geqslant 2),
end{equation}
where $psi$ is the Digamma function.
As a special case of the formula
$$
psi(n) = H_{n-1} - gamma,
$$
we have
$$
psi(2) = 1 - gamma < frac{1}{2},
$$
so eqref{ineq:2} holds for $x = 2$.
Differentiating again, we find that it is enough to prove
begin{equation}
label{ineq:3}tag{3}
sum_{n=0}^inftyfrac{1}{(x + n)^2} leqslant frac{1}{x} + frac{1}{x^2} quad (x geqslant 2).
end{equation}
Indeed,
$$
sum_{n=1}^inftyfrac{1}{(x + n)^2} < sum_{n=1}^inftyfrac{1}{(x + n - 1)(x + n)} = sum_{n=1}^inftyleft(frac{1}{x + n - 1} - frac{1}{x + n}right) = frac{1}{x}.
$$
This proves eqref{ineq:3}, therefore eqref{ineq:2}, and therefore eqref{ineq:1}, with strict inequality for $x > 2$.
Thank you very much. The proof was great!
– Shashwat1337
2 days ago
add a comment |
Your conclusion is wrong. For $x=4$ we have $$(x-1)!=6\({xover 2})^x=16$$and $$(x-1)!notge ({xover 2})^x$$
Comment
The inequality is true in reverse side for large enough $n$ using Stirling's Approximation for factorial as follows $$(x-1)!<x!approx sqrt {2pi x}({xover e})^x<({xover 2})^x$$since $$sqrt{2pi x}<({eover 2})^x$$
Yes, I made a mistake. The reversed inequality holds. Thank you very much.
– Shashwat1337
2 days ago
You're welcome. Wish you luck!
– Mostafa Ayaz
2 days ago
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3063036%2fhow-do-we-prove-that-x-1-leq-fracx2x-1%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
As already noted in a comment, if $x$ is intended only to have integral values $geqslant 2$, then the inequality (corrected now, so that the inequality sign points in the right direction) follows from the AM-GM inequality, applied to the $x - 1$ numbers $1, 2, ldots, x - 1$.
But the question is naturally read as applying to all real values of $x geqslant 2$, so for the sake of other readers it is also worth proving the inequality in the more general case, with $(x - 1)!$ understood to mean $Gamma(x)$.
To prove
begin{equation}
label{ineq:1}tag{1}
logGamma(x) leqslant (x - 1)logleft(frac{x}{2}right) quad (x geqslant 2),
end{equation}
because this holds for $x = 2$, it is enough to prove the inequality obtained by differentiating both sides:
begin{equation}
label{ineq:2}tag{2}
psi(x) leqslant logleft(frac{x}{2}right) + 1 - frac{1}{x} quad (x geqslant 2),
end{equation}
where $psi$ is the Digamma function.
As a special case of the formula
$$
psi(n) = H_{n-1} - gamma,
$$
we have
$$
psi(2) = 1 - gamma < frac{1}{2},
$$
so eqref{ineq:2} holds for $x = 2$.
Differentiating again, we find that it is enough to prove
begin{equation}
label{ineq:3}tag{3}
sum_{n=0}^inftyfrac{1}{(x + n)^2} leqslant frac{1}{x} + frac{1}{x^2} quad (x geqslant 2).
end{equation}
Indeed,
$$
sum_{n=1}^inftyfrac{1}{(x + n)^2} < sum_{n=1}^inftyfrac{1}{(x + n - 1)(x + n)} = sum_{n=1}^inftyleft(frac{1}{x + n - 1} - frac{1}{x + n}right) = frac{1}{x}.
$$
This proves eqref{ineq:3}, therefore eqref{ineq:2}, and therefore eqref{ineq:1}, with strict inequality for $x > 2$.
Thank you very much. The proof was great!
– Shashwat1337
2 days ago
add a comment |
As already noted in a comment, if $x$ is intended only to have integral values $geqslant 2$, then the inequality (corrected now, so that the inequality sign points in the right direction) follows from the AM-GM inequality, applied to the $x - 1$ numbers $1, 2, ldots, x - 1$.
But the question is naturally read as applying to all real values of $x geqslant 2$, so for the sake of other readers it is also worth proving the inequality in the more general case, with $(x - 1)!$ understood to mean $Gamma(x)$.
To prove
begin{equation}
label{ineq:1}tag{1}
logGamma(x) leqslant (x - 1)logleft(frac{x}{2}right) quad (x geqslant 2),
end{equation}
because this holds for $x = 2$, it is enough to prove the inequality obtained by differentiating both sides:
begin{equation}
label{ineq:2}tag{2}
psi(x) leqslant logleft(frac{x}{2}right) + 1 - frac{1}{x} quad (x geqslant 2),
end{equation}
where $psi$ is the Digamma function.
As a special case of the formula
$$
psi(n) = H_{n-1} - gamma,
$$
we have
$$
psi(2) = 1 - gamma < frac{1}{2},
$$
so eqref{ineq:2} holds for $x = 2$.
Differentiating again, we find that it is enough to prove
begin{equation}
label{ineq:3}tag{3}
sum_{n=0}^inftyfrac{1}{(x + n)^2} leqslant frac{1}{x} + frac{1}{x^2} quad (x geqslant 2).
end{equation}
Indeed,
$$
sum_{n=1}^inftyfrac{1}{(x + n)^2} < sum_{n=1}^inftyfrac{1}{(x + n - 1)(x + n)} = sum_{n=1}^inftyleft(frac{1}{x + n - 1} - frac{1}{x + n}right) = frac{1}{x}.
$$
This proves eqref{ineq:3}, therefore eqref{ineq:2}, and therefore eqref{ineq:1}, with strict inequality for $x > 2$.
Thank you very much. The proof was great!
– Shashwat1337
2 days ago
add a comment |
As already noted in a comment, if $x$ is intended only to have integral values $geqslant 2$, then the inequality (corrected now, so that the inequality sign points in the right direction) follows from the AM-GM inequality, applied to the $x - 1$ numbers $1, 2, ldots, x - 1$.
But the question is naturally read as applying to all real values of $x geqslant 2$, so for the sake of other readers it is also worth proving the inequality in the more general case, with $(x - 1)!$ understood to mean $Gamma(x)$.
To prove
begin{equation}
label{ineq:1}tag{1}
logGamma(x) leqslant (x - 1)logleft(frac{x}{2}right) quad (x geqslant 2),
end{equation}
because this holds for $x = 2$, it is enough to prove the inequality obtained by differentiating both sides:
begin{equation}
label{ineq:2}tag{2}
psi(x) leqslant logleft(frac{x}{2}right) + 1 - frac{1}{x} quad (x geqslant 2),
end{equation}
where $psi$ is the Digamma function.
As a special case of the formula
$$
psi(n) = H_{n-1} - gamma,
$$
we have
$$
psi(2) = 1 - gamma < frac{1}{2},
$$
so eqref{ineq:2} holds for $x = 2$.
Differentiating again, we find that it is enough to prove
begin{equation}
label{ineq:3}tag{3}
sum_{n=0}^inftyfrac{1}{(x + n)^2} leqslant frac{1}{x} + frac{1}{x^2} quad (x geqslant 2).
end{equation}
Indeed,
$$
sum_{n=1}^inftyfrac{1}{(x + n)^2} < sum_{n=1}^inftyfrac{1}{(x + n - 1)(x + n)} = sum_{n=1}^inftyleft(frac{1}{x + n - 1} - frac{1}{x + n}right) = frac{1}{x}.
$$
This proves eqref{ineq:3}, therefore eqref{ineq:2}, and therefore eqref{ineq:1}, with strict inequality for $x > 2$.
As already noted in a comment, if $x$ is intended only to have integral values $geqslant 2$, then the inequality (corrected now, so that the inequality sign points in the right direction) follows from the AM-GM inequality, applied to the $x - 1$ numbers $1, 2, ldots, x - 1$.
But the question is naturally read as applying to all real values of $x geqslant 2$, so for the sake of other readers it is also worth proving the inequality in the more general case, with $(x - 1)!$ understood to mean $Gamma(x)$.
To prove
begin{equation}
label{ineq:1}tag{1}
logGamma(x) leqslant (x - 1)logleft(frac{x}{2}right) quad (x geqslant 2),
end{equation}
because this holds for $x = 2$, it is enough to prove the inequality obtained by differentiating both sides:
begin{equation}
label{ineq:2}tag{2}
psi(x) leqslant logleft(frac{x}{2}right) + 1 - frac{1}{x} quad (x geqslant 2),
end{equation}
where $psi$ is the Digamma function.
As a special case of the formula
$$
psi(n) = H_{n-1} - gamma,
$$
we have
$$
psi(2) = 1 - gamma < frac{1}{2},
$$
so eqref{ineq:2} holds for $x = 2$.
Differentiating again, we find that it is enough to prove
begin{equation}
label{ineq:3}tag{3}
sum_{n=0}^inftyfrac{1}{(x + n)^2} leqslant frac{1}{x} + frac{1}{x^2} quad (x geqslant 2).
end{equation}
Indeed,
$$
sum_{n=1}^inftyfrac{1}{(x + n)^2} < sum_{n=1}^inftyfrac{1}{(x + n - 1)(x + n)} = sum_{n=1}^inftyleft(frac{1}{x + n - 1} - frac{1}{x + n}right) = frac{1}{x}.
$$
This proves eqref{ineq:3}, therefore eqref{ineq:2}, and therefore eqref{ineq:1}, with strict inequality for $x > 2$.
answered 2 days ago
Calum GilhooleyCalum Gilhooley
4,157529
4,157529
Thank you very much. The proof was great!
– Shashwat1337
2 days ago
add a comment |
Thank you very much. The proof was great!
– Shashwat1337
2 days ago
Thank you very much. The proof was great!
– Shashwat1337
2 days ago
Thank you very much. The proof was great!
– Shashwat1337
2 days ago
add a comment |
Your conclusion is wrong. For $x=4$ we have $$(x-1)!=6\({xover 2})^x=16$$and $$(x-1)!notge ({xover 2})^x$$
Comment
The inequality is true in reverse side for large enough $n$ using Stirling's Approximation for factorial as follows $$(x-1)!<x!approx sqrt {2pi x}({xover e})^x<({xover 2})^x$$since $$sqrt{2pi x}<({eover 2})^x$$
Yes, I made a mistake. The reversed inequality holds. Thank you very much.
– Shashwat1337
2 days ago
You're welcome. Wish you luck!
– Mostafa Ayaz
2 days ago
add a comment |
Your conclusion is wrong. For $x=4$ we have $$(x-1)!=6\({xover 2})^x=16$$and $$(x-1)!notge ({xover 2})^x$$
Comment
The inequality is true in reverse side for large enough $n$ using Stirling's Approximation for factorial as follows $$(x-1)!<x!approx sqrt {2pi x}({xover e})^x<({xover 2})^x$$since $$sqrt{2pi x}<({eover 2})^x$$
Yes, I made a mistake. The reversed inequality holds. Thank you very much.
– Shashwat1337
2 days ago
You're welcome. Wish you luck!
– Mostafa Ayaz
2 days ago
add a comment |
Your conclusion is wrong. For $x=4$ we have $$(x-1)!=6\({xover 2})^x=16$$and $$(x-1)!notge ({xover 2})^x$$
Comment
The inequality is true in reverse side for large enough $n$ using Stirling's Approximation for factorial as follows $$(x-1)!<x!approx sqrt {2pi x}({xover e})^x<({xover 2})^x$$since $$sqrt{2pi x}<({eover 2})^x$$
Your conclusion is wrong. For $x=4$ we have $$(x-1)!=6\({xover 2})^x=16$$and $$(x-1)!notge ({xover 2})^x$$
Comment
The inequality is true in reverse side for large enough $n$ using Stirling's Approximation for factorial as follows $$(x-1)!<x!approx sqrt {2pi x}({xover e})^x<({xover 2})^x$$since $$sqrt{2pi x}<({eover 2})^x$$
edited 2 days ago
answered 2 days ago
Mostafa AyazMostafa Ayaz
14.1k3937
14.1k3937
Yes, I made a mistake. The reversed inequality holds. Thank you very much.
– Shashwat1337
2 days ago
You're welcome. Wish you luck!
– Mostafa Ayaz
2 days ago
add a comment |
Yes, I made a mistake. The reversed inequality holds. Thank you very much.
– Shashwat1337
2 days ago
You're welcome. Wish you luck!
– Mostafa Ayaz
2 days ago
Yes, I made a mistake. The reversed inequality holds. Thank you very much.
– Shashwat1337
2 days ago
Yes, I made a mistake. The reversed inequality holds. Thank you very much.
– Shashwat1337
2 days ago
You're welcome. Wish you luck!
– Mostafa Ayaz
2 days ago
You're welcome. Wish you luck!
– Mostafa Ayaz
2 days ago
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3063036%2fhow-do-we-prove-that-x-1-leq-fracx2x-1%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
3
That's wrong. For $x=6$ you have $5!=120<46,656=3^6$
– Yanko
2 days ago
1
It is not true since $n! sim sqrt{2pi n}(n/e)^n$ by Stirling's formula.
– Song
2 days ago
1
Actually, I think your inequality should be reversed because of Stirling's approximation formula.
– Clayton
2 days ago
Yes sorry the reversed inequality holds. Also it is $(x/2)^{x-1}$ instead of $(x/2)^x$.
– Shashwat1337
2 days ago
2
For every positive integer $n$, the arithmetic mean of $1, 2, ldots, n$ is $frac{n+1}{2}$, and the geometric mean of the same numbers is $sqrt[n]{n!}$, so $left(frac{n+1}{2}right)^n geqslant n!$
– Calum Gilhooley
2 days ago