Yhyjyk

THT: What is a squared annular “ring”?

Is a model fitted to data or is data fitted to a model?

Do Legal Documents Require Signing In Standard Pen Colors?

Freedom of speech and where it applies

A social experiment. What is the worst that can happen?

Some numbers are more equivalent than others

Can we have a perfect cadence in a minor key?

Why does Async/Await work properly when the loop is inside the async function and not the other way around?

How much character growth crosses the line into breaking the character

How will losing mobility of one hand affect my career as a programmer?

Why has "pence" been used in this sentence, not "pences"?

My friend sent me a screenshot of a transaction hash, but when I search for it I find divergent data. What happened?

Hot bath for aluminium engine block and heads

What's the difference between 違法 and 不法?

Customize circled numbers

Should I stop contributing to retirement accounts?

What is the difference between "Do you interest" and "...interested in" something?

Python script not running correctly when launched with crontab

What linear sensor for a keyboard?

A Permanent Norse Presence in America

Should spaces be used when writing foreign names in katakana?

Did arcade monitors have same pixel aspect ratio as TV sets?

We have a love-hate relationship

Varistor? Purpose and principle

Two-sided logarithm inequality

Proving an inequality without an integral: $frac 1x+1leq ln (1+x)- ln (x) leq frac 1x$Is there a constant that reverses Jensen's inequality?Proof regarding Robin's inequality (RI).Normal pdf/cdf inequalityIs it possible to solve this equation with logarithms and exponents?How to find $logx$ close to exact value in two digits with these methods?Imprecise logarithms that reference sets of numbers.Taking complex logarithm of some multiplicative identitiesLogarithm and exponent of real quaternionsMulti-logarithm generalisation with multipliersWhy is this inequality about KL-divergence true?

1

$begingroup$

I couldn't find a duplicate question, so I apologize if this has been asked before.

I'm trying to show that

$$ n - 1 < left(log left( fracnn-1right)right)^-1 < n tag1 $$

I've verified this numerically, and it even seems to be the case that

$$ lim_n to infty frac1log left( n / (n - 1)right) = n - frac12 $$

Again, I've only verified the two statements above numerically, and I'm having a hard time proving them. The inequality seems to make some intuitive sense since, if you consider a logarithm as counting the number of digits in base $e$ then

$$ log(n) - log(n - 1) sim frac1n tag2 $$

However, (2) is only a hunch and I'm not sure how to formalize it. I'm wondering how do I prove the inequality (1)?.

Hints are definitely welcome.

limits inequality logarithms

share|cite|improve this question

edited 26 mins ago

egreg

185k1486206

asked 1 hour ago

Enrico BorbaEnrico Borba

441139

$endgroup$

• 
  
  
  

  
  3
  

  
  
  
  
  
  

  
  $begingroup$
  Cf. this question
  $endgroup$
  – J. W. Tanner
  1 hour ago
  

  
  
  
  

add a comment | 

1

$begingroup$

I couldn't find a duplicate question, so I apologize if this has been asked before.

I'm trying to show that

$$ n - 1 < left(log left( fracnn-1right)right)^-1 < n tag1 $$

I've verified this numerically, and it even seems to be the case that

$$ lim_n to infty frac1log left( n / (n - 1)right) = n - frac12 $$

Again, I've only verified the two statements above numerically, and I'm having a hard time proving them. The inequality seems to make some intuitive sense since, if you consider a logarithm as counting the number of digits in base $e$ then

$$ log(n) - log(n - 1) sim frac1n tag2 $$

However, (2) is only a hunch and I'm not sure how to formalize it. I'm wondering how do I prove the inequality (1)?.

Hints are definitely welcome.

limits inequality logarithms

share|cite|improve this question

edited 26 mins ago

egreg

185k1486206

asked 1 hour ago

Enrico BorbaEnrico Borba

441139

$endgroup$

• 
  
  
  

  
  3
  

  
  
  
  
  
  

  
  $begingroup$
  Cf. this question
  $endgroup$
  – J. W. Tanner
  1 hour ago
  

  
  
  
  

add a comment | 

$begingroup$

I couldn't find a duplicate question, so I apologize if this has been asked before.

I'm trying to show that

$$ n - 1 < left(log left( fracnn-1right)right)^-1 < n tag1 $$

I've verified this numerically, and it even seems to be the case that

$$ lim_n to infty frac1log left( n / (n - 1)right) = n - frac12 $$

Again, I've only verified the two statements above numerically, and I'm having a hard time proving them. The inequality seems to make some intuitive sense since, if you consider a logarithm as counting the number of digits in base $e$ then

$$ log(n) - log(n - 1) sim frac1n tag2 $$

However, (2) is only a hunch and I'm not sure how to formalize it. I'm wondering how do I prove the inequality (1)?.

Hints are definitely welcome.

limits inequality logarithms

share|cite|improve this question

edited 26 mins ago

egreg

185k1486206

asked 1 hour ago

Enrico BorbaEnrico Borba

441139

$endgroup$

share|cite|improve this question

edited 26 mins ago

egreg

185k1486206

asked 1 hour ago

Enrico BorbaEnrico Borba

441139

share|cite|improve this question

edited 26 mins ago

egreg

185k1486206

asked 1 hour ago

Enrico BorbaEnrico Borba

441139

edited 26 mins ago

egreg

185k1486206

edited 26 mins ago

egreg

185k1486206

asked 1 hour ago

Enrico BorbaEnrico Borba

441139

asked 1 hour ago

Enrico BorbaEnrico Borba

441139

2 Answers
2

active

oldest

votes

4

$begingroup$

Your inequality is equivalent to$$frac1n-1>logleft(frac nn-1right)>frac1n,$$which, in turn, is equivalent to$$frac1n-1>log(n)-log(n-1)>frac1n.$$Now, use the fact that$$log(n)-log(n-1)=int_n-1^nfracmathrm dtt.$$

share|cite|improve this answer

edited 45 mins ago

answered 1 hour ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Awesome hint. Thanks!
  $endgroup$
  – Enrico Borba
  46 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I'm glad I could help.
  $endgroup$
  – José Carlos Santos
  45 mins ago
  

  
  
  
  

add a comment | 

0

$begingroup$

Let's try with a reductio ad absurdum :

1 disequality

Suppose that for some $n$:

$$log^-1(fracnn-1)<n-1 $$

Notice that $log^-1(fracnn-1)=log_fracnn-1(e)$ so:

$log_fracnn-1(e)<n-1$

$(fracnn-1)^n-1>e$

Now $ n-1=x $:

$(1+frac1x)^x>e$

But this is absurd because $(1+frac1x)^x$ is strictly increasing and his limit is $e$.

2 disequality
As before:
$$log^-1(fracnn-1)>n $$

$log_fracnn-1(e)>n$

$(fracnn-1)^n<e$

And this is absurd because that function is strictly decreasing and his limit value is $e$

share|cite|improve this answer

answered 51 mins ago

EurekaEureka

1247

New contributor

Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

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



);

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3160970%2ftwo-sided-logarithm-inequality%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

Your inequality is equivalent to$$frac1n-1>logleft(frac nn-1right)>frac1n,$$which, in turn, is equivalent to$$frac1n-1>log(n)-log(n-1)>frac1n.$$Now, use the fact that$$log(n)-log(n-1)=int_n-1^nfracmathrm dtt.$$

share|cite|improve this answer

edited 45 mins ago

answered 1 hour ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Awesome hint. Thanks!
  $endgroup$
  – Enrico Borba
  46 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I'm glad I could help.
  $endgroup$
  – José Carlos Santos
  45 mins ago
  

  
  
  
  

add a comment | 

4

$begingroup$

Your inequality is equivalent to$$frac1n-1>logleft(frac nn-1right)>frac1n,$$which, in turn, is equivalent to$$frac1n-1>log(n)-log(n-1)>frac1n.$$Now, use the fact that$$log(n)-log(n-1)=int_n-1^nfracmathrm dtt.$$

share|cite|improve this answer

edited 45 mins ago

answered 1 hour ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Awesome hint. Thanks!
  $endgroup$
  – Enrico Borba
  46 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I'm glad I could help.
  $endgroup$
  – José Carlos Santos
  45 mins ago
  

  
  
  
  

add a comment | 

$begingroup$

Your inequality is equivalent to$$frac1n-1>logleft(frac nn-1right)>frac1n,$$which, in turn, is equivalent to$$frac1n-1>log(n)-log(n-1)>frac1n.$$Now, use the fact that$$log(n)-log(n-1)=int_n-1^nfracmathrm dtt.$$

share|cite|improve this answer

edited 45 mins ago

answered 1 hour ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

share|cite|improve this answer

edited 45 mins ago

answered 1 hour ago

José Carlos SantosJosé Carlos Santos

170k23132238

answered 1 hour ago

José Carlos SantosJosé Carlos Santos

170k23132238

answered 1 hour ago

José Carlos SantosJosé Carlos Santos

170k23132238

0

$begingroup$

Let's try with a reductio ad absurdum :

1 disequality

Suppose that for some $n$:

$$log^-1(fracnn-1)<n-1 $$

Notice that $log^-1(fracnn-1)=log_fracnn-1(e)$ so:

$log_fracnn-1(e)<n-1$

$(fracnn-1)^n-1>e$

Now $ n-1=x $:

$(1+frac1x)^x>e$

But this is absurd because $(1+frac1x)^x$ is strictly increasing and his limit is $e$.

2 disequality
As before:
$$log^-1(fracnn-1)>n $$

$log_fracnn-1(e)>n$

$(fracnn-1)^n<e$

And this is absurd because that function is strictly decreasing and his limit value is $e$

share|cite|improve this answer

answered 51 mins ago

EurekaEureka

1247

New contributor

Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

0

$begingroup$

Let's try with a reductio ad absurdum :

1 disequality

Suppose that for some $n$:

$$log^-1(fracnn-1)<n-1 $$

Notice that $log^-1(fracnn-1)=log_fracnn-1(e)$ so:

$log_fracnn-1(e)<n-1$

$(fracnn-1)^n-1>e$

Now $ n-1=x $:

$(1+frac1x)^x>e$

But this is absurd because $(1+frac1x)^x$ is strictly increasing and his limit is $e$.

2 disequality
As before:
$$log^-1(fracnn-1)>n $$

$log_fracnn-1(e)>n$

$(fracnn-1)^n<e$

And this is absurd because that function is strictly decreasing and his limit value is $e$

share|cite|improve this answer

answered 51 mins ago

EurekaEureka

1247

New contributor

Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

$begingroup$

Let's try with a reductio ad absurdum :

1 disequality

Suppose that for some $n$:

$$log^-1(fracnn-1)<n-1 $$

Notice that $log^-1(fracnn-1)=log_fracnn-1(e)$ so:

$log_fracnn-1(e)<n-1$

$(fracnn-1)^n-1>e$

Now $ n-1=x $:

$(1+frac1x)^x>e$

But this is absurd because $(1+frac1x)^x$ is strictly increasing and his limit is $e$.

2 disequality
As before:
$$log^-1(fracnn-1)>n $$

$log_fracnn-1(e)>n$

$(fracnn-1)^n<e$

And this is absurd because that function is strictly decreasing and his limit value is $e$

share|cite|improve this answer

answered 51 mins ago

EurekaEureka

1247

New contributor

Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

share|cite|improve this answer

answered 51 mins ago

EurekaEureka

1247

New contributor

Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

answered 51 mins ago

EurekaEureka

1247

New contributor

Eureka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

answered 51 mins ago

EurekaEureka

1247