inequality with power function












0












$begingroup$



Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$




Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)










share|cite|improve this question











$endgroup$












  • $begingroup$
    For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:47










  • $begingroup$
    It is the way around, see math.stackexchange.com/questions/1990936/….
    $endgroup$
    – Martin R
    Nov 27 '18 at 20:00










  • $begingroup$
    alright thanks for your help
    $endgroup$
    – StefanWK
    Nov 27 '18 at 20:16
















0












$begingroup$



Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$




Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)










share|cite|improve this question











$endgroup$












  • $begingroup$
    For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:47










  • $begingroup$
    It is the way around, see math.stackexchange.com/questions/1990936/….
    $endgroup$
    – Martin R
    Nov 27 '18 at 20:00










  • $begingroup$
    alright thanks for your help
    $endgroup$
    – StefanWK
    Nov 27 '18 at 20:16














0












0








0





$begingroup$



Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$




Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)










share|cite|improve this question











$endgroup$





Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$




Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)







inequality






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 27 '18 at 19:47









user376343

3,4033826




3,4033826










asked Nov 27 '18 at 19:29









StefanWKStefanWK

727




727












  • $begingroup$
    For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:47










  • $begingroup$
    It is the way around, see math.stackexchange.com/questions/1990936/….
    $endgroup$
    – Martin R
    Nov 27 '18 at 20:00










  • $begingroup$
    alright thanks for your help
    $endgroup$
    – StefanWK
    Nov 27 '18 at 20:16


















  • $begingroup$
    For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:47










  • $begingroup$
    It is the way around, see math.stackexchange.com/questions/1990936/….
    $endgroup$
    – Martin R
    Nov 27 '18 at 20:00










  • $begingroup$
    alright thanks for your help
    $endgroup$
    – StefanWK
    Nov 27 '18 at 20:16
















$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47




$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47












$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00




$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00












$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16




$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16










1 Answer
1






active

oldest

votes


















1












$begingroup$

The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Either my above counter-example or your proof must be wrong...
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:48








  • 1




    $begingroup$
    Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
    $endgroup$
    – user376343
    Nov 27 '18 at 19:51










  • $begingroup$
    True enough, I'll change it!
    $endgroup$
    – Olivier Moschetta
    Nov 27 '18 at 21:47











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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3016206%2finequality-with-power-function%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









1












$begingroup$

The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Either my above counter-example or your proof must be wrong...
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:48








  • 1




    $begingroup$
    Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
    $endgroup$
    – user376343
    Nov 27 '18 at 19:51










  • $begingroup$
    True enough, I'll change it!
    $endgroup$
    – Olivier Moschetta
    Nov 27 '18 at 21:47
















1












$begingroup$

The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Either my above counter-example or your proof must be wrong...
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:48








  • 1




    $begingroup$
    Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
    $endgroup$
    – user376343
    Nov 27 '18 at 19:51










  • $begingroup$
    True enough, I'll change it!
    $endgroup$
    – Olivier Moschetta
    Nov 27 '18 at 21:47














1












1








1





$begingroup$

The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.






share|cite|improve this answer











$endgroup$



The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Nov 27 '18 at 21:48

























answered Nov 27 '18 at 19:38









Olivier MoschettaOlivier Moschetta

2,8311411




2,8311411












  • $begingroup$
    Either my above counter-example or your proof must be wrong...
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:48








  • 1




    $begingroup$
    Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
    $endgroup$
    – user376343
    Nov 27 '18 at 19:51










  • $begingroup$
    True enough, I'll change it!
    $endgroup$
    – Olivier Moschetta
    Nov 27 '18 at 21:47


















  • $begingroup$
    Either my above counter-example or your proof must be wrong...
    $endgroup$
    – Martin R
    Nov 27 '18 at 19:48








  • 1




    $begingroup$
    Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
    $endgroup$
    – user376343
    Nov 27 '18 at 19:51










  • $begingroup$
    True enough, I'll change it!
    $endgroup$
    – Olivier Moschetta
    Nov 27 '18 at 21:47
















$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48






$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48






1




1




$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51




$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51












$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47




$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47


















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3016206%2finequality-with-power-function%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

How to change which sound is reproduced for terminal bell?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Can I use Tabulator js library in my java Spring + Thymeleaf project?