Undergrad Understanding the Relationship Between Logarithmic and Exponential Functions

  • Thread starter Thread starter mikeng
  • Start date Start date
Click For Summary
The discussion focuses on understanding why log(n) is less than n^a for all n, a > 0, and the intuition behind this inequality. Participants explore the implications of choosing different values for a and express confusion about the existence of a small epsilon that might break the inequality. They clarify that for any c > 0, log(n) is O(n^c), emphasizing the importance of constants in this relationship. The conversation also touches on the concept of increasing functions, which are defined by the property that if x < y, then g(x) < g(y). Ultimately, the participants aim to prove the inequality while acknowledging the complexity of finding a specific constant.
mikeng
This is probably really easy, but i am really rusty and i want to really understand.
I am trying to understand why log(n) &lt; n^a For all n,a>0.
I am really having a hard time to get an intuition over this, of course if i let a >= 1 then its obvious, but how do i know if there is not some extremely small epsilon that breaks the inequality. I understand maybe i should use that in a proof but i am kinda stuck.

Also this is not really directly related but a thought i had, is there a name for functions that has the property that if x < y then g(x) < g(y), I'm curious.
 
Mathematics news on Phys.org
mikeng said:
This is probably really easy, but i am really rusty and i want to really understand.
I am trying to understand why log(n) &lt; n^a For all n,a>0.
I am really having a hard time to get an intuition over this, of course if i let a >= 1 then its obvious, but how do i know if there is not some extremely small epsilon that breaks the inequality. I understand maybe i should use that in a proof but i am kinda stuck.

Also this is not really directly related but a thought i had, is there a name for functions that has the property that if x < y then g(x) < g(y), I'm curious.

Functions that satisfy ##x < y \Rightarrow g(x) < g(y)## are called increasing functions. You might want to read this: https://en.wikipedia.org/wiki/Monotonic_function
 
  • Like
Likes mikeng
Math_QED said:
Functions that satisfy ##x < y \Rightarrow g(x) < g(y)## are called increasing functions.
Thanks, that makes sense :)
 
I see did not occur to me to use derivatives.
I have been looking this over to try to see if i missed something but correct me if i am wrong but this does only show log(x) < x. But i wonder if there is a constant a such that x^a &lt; log(x)
Hmm but using derivatives then we must show that
1/x < a*x^(a-1)
Or is my thinking wrong?
Or more simpler that 1&lt; a*x^a
 
mikeng said:
This is probably really easy, but i am really rusty and i want to really understand.
I am trying to understand why log(n) &lt; n^a For all n,a>0.
Try n = 100, a = .001
 
  • Like
Likes mikeng
mikeng said:
Thanks, but then i must have misunderstood the origin of the question, it says. recall that for any c > 0, log(n) is O(n^c ).
This is the first problem from here https://ocw.mit.edu/courses/electri...fall-2011/assignments/MIT6_006F11_ps1_sol.pdf

There must be something i am missing here, cause clearly this is not true for all c> 0

Hold on a minute lol i forgot the constant, i can choose my constant in the definition of big oh, to cancel any c>0, or?

Well after thinking not sure how to find such a constant. Hmm i am prob making this allot more complicated.
 
Last edited by a moderator:
The constant is the important difference. log(n) can be larger than na, but no matter which a you choose, it will always be at most some factor c larger (c depends on a). Finding a specific c can be challenging but it is not necessary. It is sufficient to show that such a c exists.
 
  • Like
Likes mikeng
mfb said:
The constant is the important difference. log(n) can be larger than na, but no matter which a you choose, it will always be at most some factor c larger (c depends on a). Finding a specific c can be challenging but it is not necessary. It is sufficient to show that such a c exists.

Thanks it makes sense, will continue to think of how to prove that, to show that no matter how much bigger log(n) is then n^a, it is always bigger by some constant factor. But at least i understand why it is true, just want to prove it. Thanks :)
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
9
Views
2K
  • · Replies 13 ·
Replies
13
Views
5K