Prove that $(1/n^n)leq(1/n!)$ for every $ngeq1$
$begingroup$
I want to know if my answer is correct:
1) For n=1: $ 1=1$ Correct!
2) Let n=k is an inductive assumption which is correct:
$$frac{1}{k^k}leq frac{1}{k!}$$
3) For n=k+1, we should prove that:
$$frac{1}{(k+1)^{k+1}}leq frac{1}{(k+1)!}$$
So,
$$frac{1}{(k+1)!}=
frac{1}{(k+1)k!}geq
frac{1}{(k+1)k^k}geq
frac{1}{(k+1)(k+1)^k}=
frac{1}{(k+1)^{k+1}}$$
It's correct also for $n=k+1$, so the inequality $1/(k+1)^{k+1}leq1/(k+1)!$ is correct for every number $ngeq1$
discrete-mathematics proof-verification induction
$endgroup$
|
show 3 more comments
$begingroup$
I want to know if my answer is correct:
1) For n=1: $ 1=1$ Correct!
2) Let n=k is an inductive assumption which is correct:
$$frac{1}{k^k}leq frac{1}{k!}$$
3) For n=k+1, we should prove that:
$$frac{1}{(k+1)^{k+1}}leq frac{1}{(k+1)!}$$
So,
$$frac{1}{(k+1)!}=
frac{1}{(k+1)k!}geq
frac{1}{(k+1)k^k}geq
frac{1}{(k+1)(k+1)^k}=
frac{1}{(k+1)^{k+1}}$$
It's correct also for $n=k+1$, so the inequality $1/(k+1)^{k+1}leq1/(k+1)!$ is correct for every number $ngeq1$
discrete-mathematics proof-verification induction
$endgroup$
$begingroup$
Hello, and welcome to MSE. I don't see anything in particular wrong with your solution. Did you have any particular reason to think your answer may not be correct?
$endgroup$
– John Omielan
Jan 14 at 3:01
$begingroup$
It's okay isn't it?
$endgroup$
– Viktor
Jan 14 at 3:02
$begingroup$
If by "okay" you mean is there anything wrong with it, I don't see any mistakes.
$endgroup$
– John Omielan
Jan 14 at 3:03
1
$begingroup$
You are welcome for the confirmation. However, this is a fairly minor point, but as you're asking for confirmation of accuracy, well I just noticed that your last part should have $k + 1$ replaced by $n$, plus you may wish to make it clear you're dealing with natural numbers. Thus, you may wish to have it end with "so the inequality $frac{1}{n^n} leq frac{1}{n!}$ is correct for every natural number $n ge 1$".
$endgroup$
– John Omielan
Jan 14 at 3:10
2
$begingroup$
The inequality says $n! leq n^{n}$. Isn't this obvious since $n! =(1)(2)...(n) leq (n)(n)...(n)=n^{n}$?
$endgroup$
– Kavi Rama Murthy
Jan 14 at 5:40
|
show 3 more comments
$begingroup$
I want to know if my answer is correct:
1) For n=1: $ 1=1$ Correct!
2) Let n=k is an inductive assumption which is correct:
$$frac{1}{k^k}leq frac{1}{k!}$$
3) For n=k+1, we should prove that:
$$frac{1}{(k+1)^{k+1}}leq frac{1}{(k+1)!}$$
So,
$$frac{1}{(k+1)!}=
frac{1}{(k+1)k!}geq
frac{1}{(k+1)k^k}geq
frac{1}{(k+1)(k+1)^k}=
frac{1}{(k+1)^{k+1}}$$
It's correct also for $n=k+1$, so the inequality $1/(k+1)^{k+1}leq1/(k+1)!$ is correct for every number $ngeq1$
discrete-mathematics proof-verification induction
$endgroup$
I want to know if my answer is correct:
1) For n=1: $ 1=1$ Correct!
2) Let n=k is an inductive assumption which is correct:
$$frac{1}{k^k}leq frac{1}{k!}$$
3) For n=k+1, we should prove that:
$$frac{1}{(k+1)^{k+1}}leq frac{1}{(k+1)!}$$
So,
$$frac{1}{(k+1)!}=
frac{1}{(k+1)k!}geq
frac{1}{(k+1)k^k}geq
frac{1}{(k+1)(k+1)^k}=
frac{1}{(k+1)^{k+1}}$$
It's correct also for $n=k+1$, so the inequality $1/(k+1)^{k+1}leq1/(k+1)!$ is correct for every number $ngeq1$
discrete-mathematics proof-verification induction
discrete-mathematics proof-verification induction
edited Jan 14 at 10:01
rtybase
11.6k31534
11.6k31534
asked Jan 14 at 2:58
ViktorViktor
427
427
$begingroup$
Hello, and welcome to MSE. I don't see anything in particular wrong with your solution. Did you have any particular reason to think your answer may not be correct?
$endgroup$
– John Omielan
Jan 14 at 3:01
$begingroup$
It's okay isn't it?
$endgroup$
– Viktor
Jan 14 at 3:02
$begingroup$
If by "okay" you mean is there anything wrong with it, I don't see any mistakes.
$endgroup$
– John Omielan
Jan 14 at 3:03
1
$begingroup$
You are welcome for the confirmation. However, this is a fairly minor point, but as you're asking for confirmation of accuracy, well I just noticed that your last part should have $k + 1$ replaced by $n$, plus you may wish to make it clear you're dealing with natural numbers. Thus, you may wish to have it end with "so the inequality $frac{1}{n^n} leq frac{1}{n!}$ is correct for every natural number $n ge 1$".
$endgroup$
– John Omielan
Jan 14 at 3:10
2
$begingroup$
The inequality says $n! leq n^{n}$. Isn't this obvious since $n! =(1)(2)...(n) leq (n)(n)...(n)=n^{n}$?
$endgroup$
– Kavi Rama Murthy
Jan 14 at 5:40
|
show 3 more comments
$begingroup$
Hello, and welcome to MSE. I don't see anything in particular wrong with your solution. Did you have any particular reason to think your answer may not be correct?
$endgroup$
– John Omielan
Jan 14 at 3:01
$begingroup$
It's okay isn't it?
$endgroup$
– Viktor
Jan 14 at 3:02
$begingroup$
If by "okay" you mean is there anything wrong with it, I don't see any mistakes.
$endgroup$
– John Omielan
Jan 14 at 3:03
1
$begingroup$
You are welcome for the confirmation. However, this is a fairly minor point, but as you're asking for confirmation of accuracy, well I just noticed that your last part should have $k + 1$ replaced by $n$, plus you may wish to make it clear you're dealing with natural numbers. Thus, you may wish to have it end with "so the inequality $frac{1}{n^n} leq frac{1}{n!}$ is correct for every natural number $n ge 1$".
$endgroup$
– John Omielan
Jan 14 at 3:10
2
$begingroup$
The inequality says $n! leq n^{n}$. Isn't this obvious since $n! =(1)(2)...(n) leq (n)(n)...(n)=n^{n}$?
$endgroup$
– Kavi Rama Murthy
Jan 14 at 5:40
$begingroup$
Hello, and welcome to MSE. I don't see anything in particular wrong with your solution. Did you have any particular reason to think your answer may not be correct?
$endgroup$
– John Omielan
Jan 14 at 3:01
$begingroup$
Hello, and welcome to MSE. I don't see anything in particular wrong with your solution. Did you have any particular reason to think your answer may not be correct?
$endgroup$
– John Omielan
Jan 14 at 3:01
$begingroup$
It's okay isn't it?
$endgroup$
– Viktor
Jan 14 at 3:02
$begingroup$
It's okay isn't it?
$endgroup$
– Viktor
Jan 14 at 3:02
$begingroup$
If by "okay" you mean is there anything wrong with it, I don't see any mistakes.
$endgroup$
– John Omielan
Jan 14 at 3:03
$begingroup$
If by "okay" you mean is there anything wrong with it, I don't see any mistakes.
$endgroup$
– John Omielan
Jan 14 at 3:03
1
1
$begingroup$
You are welcome for the confirmation. However, this is a fairly minor point, but as you're asking for confirmation of accuracy, well I just noticed that your last part should have $k + 1$ replaced by $n$, plus you may wish to make it clear you're dealing with natural numbers. Thus, you may wish to have it end with "so the inequality $frac{1}{n^n} leq frac{1}{n!}$ is correct for every natural number $n ge 1$".
$endgroup$
– John Omielan
Jan 14 at 3:10
$begingroup$
You are welcome for the confirmation. However, this is a fairly minor point, but as you're asking for confirmation of accuracy, well I just noticed that your last part should have $k + 1$ replaced by $n$, plus you may wish to make it clear you're dealing with natural numbers. Thus, you may wish to have it end with "so the inequality $frac{1}{n^n} leq frac{1}{n!}$ is correct for every natural number $n ge 1$".
$endgroup$
– John Omielan
Jan 14 at 3:10
2
2
$begingroup$
The inequality says $n! leq n^{n}$. Isn't this obvious since $n! =(1)(2)...(n) leq (n)(n)...(n)=n^{n}$?
$endgroup$
– Kavi Rama Murthy
Jan 14 at 5:40
$begingroup$
The inequality says $n! leq n^{n}$. Isn't this obvious since $n! =(1)(2)...(n) leq (n)(n)...(n)=n^{n}$?
$endgroup$
– Kavi Rama Murthy
Jan 14 at 5:40
|
show 3 more comments
1 Answer
1
active
oldest
votes
$begingroup$
Your answer is correct! I see nothing wrong with it as far as I know about mathematical induction. Keep up the good work!
$endgroup$
$begingroup$
Please avoid posting just "You are correct"-like answers. They should be in the comments instead. To make this post into an answer, you could say that the OP is correct, then suggest an alternative solution to prove the inequality. For example, $n^n=ncdot ncdots n$ and $n!=ncdot(n-1)cdots1$, which means that...
$endgroup$
– TheSimpliFire
Feb 13 at 9:29
add a comment |
Your Answer
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%2f3072798%2fprove-that-1-nn-leq1-n-for-every-n-geq1%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Your answer is correct! I see nothing wrong with it as far as I know about mathematical induction. Keep up the good work!
$endgroup$
$begingroup$
Please avoid posting just "You are correct"-like answers. They should be in the comments instead. To make this post into an answer, you could say that the OP is correct, then suggest an alternative solution to prove the inequality. For example, $n^n=ncdot ncdots n$ and $n!=ncdot(n-1)cdots1$, which means that...
$endgroup$
– TheSimpliFire
Feb 13 at 9:29
add a comment |
$begingroup$
Your answer is correct! I see nothing wrong with it as far as I know about mathematical induction. Keep up the good work!
$endgroup$
$begingroup$
Please avoid posting just "You are correct"-like answers. They should be in the comments instead. To make this post into an answer, you could say that the OP is correct, then suggest an alternative solution to prove the inequality. For example, $n^n=ncdot ncdots n$ and $n!=ncdot(n-1)cdots1$, which means that...
$endgroup$
– TheSimpliFire
Feb 13 at 9:29
add a comment |
$begingroup$
Your answer is correct! I see nothing wrong with it as far as I know about mathematical induction. Keep up the good work!
$endgroup$
Your answer is correct! I see nothing wrong with it as far as I know about mathematical induction. Keep up the good work!
answered Jan 14 at 5:02
BadAtGeometryBadAtGeometry
254217
254217
$begingroup$
Please avoid posting just "You are correct"-like answers. They should be in the comments instead. To make this post into an answer, you could say that the OP is correct, then suggest an alternative solution to prove the inequality. For example, $n^n=ncdot ncdots n$ and $n!=ncdot(n-1)cdots1$, which means that...
$endgroup$
– TheSimpliFire
Feb 13 at 9:29
add a comment |
$begingroup$
Please avoid posting just "You are correct"-like answers. They should be in the comments instead. To make this post into an answer, you could say that the OP is correct, then suggest an alternative solution to prove the inequality. For example, $n^n=ncdot ncdots n$ and $n!=ncdot(n-1)cdots1$, which means that...
$endgroup$
– TheSimpliFire
Feb 13 at 9:29
$begingroup$
Please avoid posting just "You are correct"-like answers. They should be in the comments instead. To make this post into an answer, you could say that the OP is correct, then suggest an alternative solution to prove the inequality. For example, $n^n=ncdot ncdots n$ and $n!=ncdot(n-1)cdots1$, which means that...
$endgroup$
– TheSimpliFire
Feb 13 at 9:29
$begingroup$
Please avoid posting just "You are correct"-like answers. They should be in the comments instead. To make this post into an answer, you could say that the OP is correct, then suggest an alternative solution to prove the inequality. For example, $n^n=ncdot ncdots n$ and $n!=ncdot(n-1)cdots1$, which means that...
$endgroup$
– TheSimpliFire
Feb 13 at 9:29
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.
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%2f3072798%2fprove-that-1-nn-leq1-n-for-every-n-geq1%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
$begingroup$
Hello, and welcome to MSE. I don't see anything in particular wrong with your solution. Did you have any particular reason to think your answer may not be correct?
$endgroup$
– John Omielan
Jan 14 at 3:01
$begingroup$
It's okay isn't it?
$endgroup$
– Viktor
Jan 14 at 3:02
$begingroup$
If by "okay" you mean is there anything wrong with it, I don't see any mistakes.
$endgroup$
– John Omielan
Jan 14 at 3:03
1
$begingroup$
You are welcome for the confirmation. However, this is a fairly minor point, but as you're asking for confirmation of accuracy, well I just noticed that your last part should have $k + 1$ replaced by $n$, plus you may wish to make it clear you're dealing with natural numbers. Thus, you may wish to have it end with "so the inequality $frac{1}{n^n} leq frac{1}{n!}$ is correct for every natural number $n ge 1$".
$endgroup$
– John Omielan
Jan 14 at 3:10
2
$begingroup$
The inequality says $n! leq n^{n}$. Isn't this obvious since $n! =(1)(2)...(n) leq (n)(n)...(n)=n^{n}$?
$endgroup$
– Kavi Rama Murthy
Jan 14 at 5:40