To evaluate the limit lim x → 0 f ( x ) g ( x ) \lim_{x \to 0} f(x)g(x) lim x → 0 f ( x ) g ( x ) , we will construct suitable bounds for f ( x ) f(x) f ( x ) and g ( x ) g(x) g ( x ) for x ∈ ( 0 , 1 ) x \in (0,1) x ∈ ( 0 , 1 ) and then apply the Squeeze Theorem.
Step 1: Finding Bounds for f ( x ) f(x) f ( x )
The function f ( x ) f(x) f ( x ) is defined piecewise as f ( x ) = n f(x) = \sqrt{n} f ( x ) = n for x ∈ [ 1 n + 1 , 1 n ) x \in \left[ \frac{1}{n+1}, \frac{1}{n} \right) x ∈ [ n + 1 1 , n 1 ) , where n ∈ N n \in \mathbb{N} n ∈ N .
From the interval for x x x , we have:
1 n + 1 ≤ x < 1 n \frac{1}{n+1} \le x < \frac{1}{n} n + 1 1 ≤ x < n 1
Inverting the inequalities yields:
n < 1 x ≤ n + 1 n < \frac{1}{x} \le n+1 n < x 1 ≤ n + 1
This implies:
1 x − 1 ≤ n < 1 x \frac{1}{x} - 1 \le n < \frac{1}{x} x 1 − 1 ≤ n < x 1
Taking the square root throughout (since n ≥ 1 n \ge 1 n ≥ 1 ):
1 x − 1 ≤ n < 1 x \sqrt{\frac{1}{x} - 1} \le \sqrt{n} < \sqrt{\frac{1}{x}} x 1 − 1 ≤ n < x 1
Since f ( x ) = n f(x) = \sqrt{n} f ( x ) = n , we establish the following inequality for all x ∈ ( 0 , 1 ) x \in (0,1) x ∈ ( 0 , 1 ) :
1 x − 1 ≤ f ( x ) < 1 x \sqrt{\frac{1}{x} - 1} \le f(x) < \sqrt{\frac{1}{x}} x 1 − 1 ≤ f ( x ) < x 1
Step 2: Finding Bounds for g ( x ) g(x) g ( x )
We are given that g ( x ) g(x) g ( x ) satisfies:
∫ x 2 x 1 − t t d t < g ( x ) < 2 x \int_{x^2}^{x} \sqrt{\frac{1-t}{t}} \, dt < g(x) < 2\sqrt{x} ∫ x 2 x t 1 − t d t < g ( x ) < 2 x
Let I ( x ) = ∫ x 2 x 1 − t t d t I(x) = \int_{x^2}^{x} \sqrt{\frac{1-t}{t}} \, dt I ( x ) = ∫ x 2 x t 1 − t d t . For any t ∈ [ x 2 , x ] t \in [x^2, x] t ∈ [ x 2 , x ] where x ∈ ( 0 , 1 ) x \in (0,1) x ∈ ( 0 , 1 ) , we have:
x 2 ≤ t ≤ x < 1 ⟹ 1 − x ≤ 1 − t ≤ 1 − x 2 x^2 \le t \le x < 1 \implies 1 - x \le 1 - t \le 1 - x^2 x 2 ≤ t ≤ x < 1 ⟹ 1 − x ≤ 1 − t ≤ 1 − x 2
Dividing by t > 0 \sqrt{t} > 0 t > 0 and taking square roots gives:
1 − x ⋅ 1 t ≤ 1 − t t ≤ 1 − x 2 ⋅ 1 t \sqrt{1-x} \cdot \frac{1}{\sqrt{t}} \le \sqrt{\frac{1-t}{t}} \le \sqrt{1-x^2} \cdot \frac{1}{\sqrt{t}} 1 − x ⋅ t 1 ≤ t 1 − t ≤ 1 − x 2 ⋅ t 1
Integrating from t = x 2 t = x^2 t = x 2 to t = x t = x t = x :
1 − x ∫ x 2 x 1 t d t ≤ I ( x ) ≤ 1 − x 2 ∫ x 2 x 1 t d t \sqrt{1-x} \int_{x^2}^{x} \frac{1}{\sqrt{t}} \, dt \le I(x) \le \sqrt{1-x^2} \int_{x^2}^{x} \frac{1}{\sqrt{t}} \, dt 1 − x ∫ x 2 x t 1 d t ≤ I ( x ) ≤ 1 − x 2 ∫ x 2 x t 1 d t
Evaluating the integral ∫ x 2 x 1 t d t \int_{x^2}^{x} \frac{1}{\sqrt{t}} \, dt ∫ x 2 x t 1 d t :
∫ x 2 x t − 1 / 2 d t = [ 2 t ] x 2 x = 2 x − 2 x = 2 x ( 1 − x ) \int_{x^2}^{x} t^{-1/2} \, dt = \left[ 2\sqrt{t} \right]_{x^2}^{x} = 2\sqrt{x} - 2x = 2\sqrt{x}(1 - \sqrt{x}) ∫ x 2 x t − 1/2 d t = [ 2 t ] x 2 x = 2 x − 2 x = 2 x ( 1 − x )
Hence, the integral I ( x ) I(x) I ( x ) is bounded below by:
I ( x ) ≥ 2 x ( 1 − x ) 1 − x I(x) \ge 2\sqrt{x}(1 - \sqrt{x})\sqrt{1-x} I ( x ) ≥ 2 x ( 1 − x ) 1 − x
Combining this with the given upper bound for g ( x ) g(x) g ( x ) , we obtain:
2 x ( 1 − x ) 1 − x < g ( x ) < 2 x 2\sqrt{x}(1 - \sqrt{x})\sqrt{1-x} < g(x) < 2\sqrt{x} 2 x ( 1 − x ) 1 − x < g ( x ) < 2 x
Step 3: Finding Bounds for f ( x ) g ( x ) f(x)g(x) f ( x ) g ( x )
Since both f ( x ) f(x) f ( x ) and g ( x ) g(x) g ( x ) are strictly positive for x ∈ ( 0 , 1 ) x \in (0,1) x ∈ ( 0 , 1 ) , we multiply their respective lower and upper bounds:
Lower Bound for f ( x ) g ( x ) f(x)g(x) f ( x ) g ( x ) :
f ( x ) g ( x ) > 1 x − 1 ⋅ 2 x ( 1 − x ) 1 − x f(x)g(x) > \sqrt{\frac{1}{x} - 1} \cdot 2\sqrt{x}(1 - \sqrt{x})\sqrt{1-x} f ( x ) g ( x ) > x 1 − 1 ⋅ 2 x ( 1 − x ) 1 − x
= 1 − x x ⋅ 2 x ( 1 − x ) 1 − x = 2 ( 1 − x ) ( 1 − x ) = \sqrt{\frac{1-x}{x}} \cdot 2\sqrt{x}(1 - \sqrt{x})\sqrt{1-x} = 2(1-x)(1-\sqrt{x}) = x 1 − x ⋅ 2 x ( 1 − x ) 1 − x = 2 ( 1 − x ) ( 1 − x )
Upper Bound for f ( x ) g ( x ) f(x)g(x) f ( x ) g ( x ) :
f ( x ) g ( x ) < 1 x ⋅ 2 x = 2 f(x)g(x) < \sqrt{\frac{1}{x}} \cdot 2\sqrt{x} = 2 f ( x ) g ( x ) < x 1 ⋅ 2 x = 2
Combining these bounds gives:
2 ( 1 − x ) ( 1 − x ) < f ( x ) g ( x ) < 2 2(1-x)(1-\sqrt{x}) < f(x)g(x) < 2 2 ( 1 − x ) ( 1 − x ) < f ( x ) g ( x ) < 2
Step 4: Applying the Squeeze Theorem
Taking the limit as x → 0 + x \to 0^+ x → 0 + :
lim x → 0 + 2 ( 1 − x ) ( 1 − x ) = 2 ( 1 − 0 ) ( 1 − 0 ) = 2 \lim_{x \to 0^+} 2(1-x)(1-\sqrt{x}) = 2(1-0)(1-0) = 2 lim x → 0 + 2 ( 1 − x ) ( 1 − x ) = 2 ( 1 − 0 ) ( 1 − 0 ) = 2
lim x → 0 + 2 = 2 \lim_{x \to 0^+} 2 = 2 lim x → 0 + 2 = 2
By the Squeeze Theorem:
lim x → 0 f ( x ) g ( x ) = 2 \lim_{x \to 0} f(x)g(x) = 2 lim x → 0 f ( x ) g ( x ) = 2
Therefore, the correct option is C .