Answer on Question #66999 – Math – Discrete Mathematics
Question
Let an≥n2n−1 and let ν≤[log2n]. Show that an−ν>0.
Solution
Since an≥n2n−1 and ν≤[log2n], it is sufficient to establish that
n2n−1>[log2n]
for each n, then
an−ν>0.
For n=1 we have that 121−1>[log21]⇔1>0 holds true.
For n=2 we have that 222−1>[log22]⇔23>1 holds true.
For n=3 we have that 323−1>[log23]⇔37>1 holds true.
For n=4 we have that 424−1>[log24]⇔415>2 holds true.
Let n≥5. Then by binomial theorem and 3n−2≥1 we have that
n2n−1=n(1+1)n−1=n(1+n+2n(n−1)+6n(n−1)(n−2)+⋯+6n(n−1)(n−2)+2n(n−1)+n+1)−1≥n(1+n+26n(n−1)(n−2))−1=nn+n(n−1)≥nn+n(n−1)=nn+n2−n=n≥log2n≥[log2n].
Hence n2n−1>[log2n] for each n.
Answer provided by https://www.AssignmentExpert.com