Consider a function and find its derivative:
f′(n)=(2n−1−n∗2n−1)Differentiate the sum term by term and factor out constants:
d(−1)/dn+d(2n)/dn−d(2n−1∗n)/dnThe derivative of -1 is zero:
d(2n)/dn−d(2n−1∗n)/dn+0The derivative of 2^n is 2^nlog(2):
−(d(2n−1∗n)/dn)+2nlog(2)Use the product rule, d(uv)/dn=(v)du/dn+(u)dv/dn where u=2n−1 and v=n
Simplify the expression:
2nlog(2)−n(d(2n−1)/dn)−2n−1∗(d(n)/dn) Similarly, we repeat the decomposition and as a result we get:
−2n−1+2n∗log(2)−(2n−1∗n∗log(2))/2 Simplify the expression:
log(2)(2n−n2n−1)−2n−1As you can see, the derivative is positive when n>2, therefore, the function is increasing at n>2.
Insofar as f(2)=log(2)(4−2)−2=0.38 that function positive for all n>2
Thus, for n> 2, the following inequality holds:f(n)>0,⟹2n−1−n2n−1>0,⟹ 2n>1+n2n−1
Comments