Evaluating limit of floor function

  • Thread starter Thread starter Raghav Gupta
  • Start date Start date
  • Tags Tags
    Function Limit
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
13 replies · 4K views
Raghav Gupta
Messages
1,010
Reaction score
76

Homework Statement



How $$ \lim_{x\to\infty} \frac{nlogx}{[x]} = 0 $$ ? Here n∈ ℕ
Here [x] is greatest integer or floor function of x.

Homework Equations


[x] = x - {x} where {x} is fractional part of x.

The Attempt at a Solution


I know floor function is not differentiable.
We are getting here ∞/∞ form but can't apply L hopital rule as denominator is not differentiable.
How the limit evaluates to zero?
 
Physics news on Phys.org
use sandwich theorem.
hint: start from ##?\le [x]\le ?##
 
AdityaDev said:
use sandwich theorem.
hint: start from ##?\le [x]\le ?##
0≤ {x} < 1
Now what?
 
No. i am asking about [x] and not {x}.
 
Okay,
-∞≤[x] ≤ ∞ but [x] ≠ fractions
 
No. Write it as ##f(x)\le [x]\le g(x)##. what is f and g?
 
AdityaDev said:
No. Write it as ##f(x)\le [x]\le g(x)##. what is f and g?
Why, what is f(x) and g(x) here?
 
Okay. Use ##x-1\le [x]\le x##
 
AdityaDev said:
Okay. Use ##x-1\le [x]\le x##
Okay, what next?
 
try to transform that inequality and make it look like ##\frac{lnx}{[x]}## by taking reciprocal and multiplying by lnx. will the inequality change?
 
AdityaDev said:
try to transform that inequality and make it look like ##\frac{lnx}{[x]}## by taking reciprocal and multiplying by lnx. will the inequality change?
Then
1/x≤ 1/[x]≤ 1/(x-1)
lnx/x ≤ lnx/[x]≤ lnx/(x-1)
Now?
 
Good. Now from sandwich theorem, if you have ##f(x)\le g(x)\le h(x)## and ##\lim_{x \to a}f(x)=L=\lim_{x \to a}h(x)##, then you can say that ##\lim_{x \to a}g(x) = L##.
 
  • Like
Likes   Reactions: Raghav Gupta
AdityaDev said:
Good. Now from sandwich theorem, if you have ##f(x)\le g(x)\le h(x)## and ##\lim_{x \to a}f(x)=L=\lim_{x \to a}h(x)##, then you can say that ##\lim_{x \to a}g(x) = L##.
Oh, great lnx/x will be zero when x approach infinity same with h(x). So, g(x) evaluates to zero. Thanks.
 
Raghav Gupta said:
Oh, great lnx/x will be zero when x approach infinity same with h(x). So, g(x) evaluates to zero. Thanks.
Let's be more precise. ln(x)/x never becomes zero, but gets arbitrarily close to zero as x grows large without bound.
Also, here's the proper notation:
##\lfloor x \rfloor##
\lfloor x \rfloor

For the ceiling function, it is:
##\lceil x \rceil##
\lceil x \rceil
 
  • Like
Likes   Reactions: AdityaDev, Raghav Gupta and SammyS