Question #66999

Let $a_n\geq \frac{2^n-1}{n}$ and let $\nu\leq \lfloor{\log_2 n}\rfloor$. Show that $a_n-\nu> 0$.

Expert's answer

Answer on Question #66999 – Math – Discrete Mathematics

Question

Let an2n1na_n \geq \frac{2^n - 1}{n} and let ν[log2n]\nu \leq [\log_2 n]. Show that anν>0a_n - \nu > 0.

Solution

Since an2n1na_n \geq \frac{2^n - 1}{n} and ν[log2n]\nu \leq [\log_2 n], it is sufficient to establish that


2n1n>[log2n]\frac{2^n - 1}{n} > [\log_2 n]


for each nn, then


anν>0.a_n - \nu > 0.


For n=1n = 1 we have that 2111>[log21]1>0\frac{2^1 - 1}{1} > [\log_2 1] \Leftrightarrow 1 > 0 holds true.

For n=2n = 2 we have that 2212>[log22]32>1\frac{2^2 - 1}{2} > [\log_2 2] \Leftrightarrow \frac{3}{2} > 1 holds true.

For n=3n = 3 we have that 2313>[log23]73>1\frac{2^3 - 1}{3} > [\log_2 3] \Leftrightarrow \frac{7}{3} > 1 holds true.

For n=4n = 4 we have that 2414>[log24]154>2\frac{2^4 - 1}{4} > [\log_2 4] \Leftrightarrow \frac{15}{4} > 2 holds true.

Let n5n \geq 5. Then by binomial theorem and n231\frac{n - 2}{3} \geq 1 we have that


2n1n=(1+1)n1n=(1+n+n(n1)2+n(n1)(n2)6++n(n1)(n2)6+n(n1)2+n+1)1n(1+n+2n(n1)(n2)6)1n=n+n(n1)nn+n(n1)n=n+n2nn=nlog2n[log2n].\frac{2^n - 1}{n} = \frac{(1 + 1)^n - 1}{n} = \frac{\left(1 + n + \frac{n(n - 1)}{2} + \frac{n(n - 1)(n - 2)}{6} + \dots + \frac{n(n - 1)(n - 2)}{6} + \frac{n(n - 1)}{2} + n + 1\right) - 1}{n} \geq \frac{\left(1 + n + 2 \frac{n(n - 1)(n - 2)}{6}\right) - 1}{n} = \frac{n + n(n - 1)}{n} \geq \frac{n + n(n - 1)}{n} = \frac{n + n^2 - n}{n} = n \geq \log_2 n \geq [\log_2 n].


Hence 2n1n>[log2n]\frac{2^n - 1}{n} > [\log_2 n] for each nn.

Answer provided by https://www.AssignmentExpert.com

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS