Is there a k where 0<=k<=n such that log_2 ((n),(k)) >1/2n for large n?

drobtinicnu

drobtinicnu

Answered question

2022-09-04

Is there a k where 0 k n such that log 2 ( n k ) > 1 2 n for large n?
Is there an integer k where 0 k n such that log 2 ( n k ) > 1 2 n for large n?
In addition, we require that to find a k such that ( n k ) > 2 ( 1 2 + α ) × n for some α > 0.

Answer & Explanation

Monserrat Ellison

Monserrat Ellison

Beginner2022-09-05Added 22 answers

Step 1
k = n / 2 the given inequality can be expressed as
(1) ( n n / 2 ) > 2 n / 2 .
This is an elementary proof of (1) not only for large n but for all integers n 3.. If n is even we have to prove that
(2) ( 2 n n ) > 2 n  for  n 2.
(3) k = 0 n ( n k ) 2 = ( 2 n n ) .
Step 2
We borrow the argument
''Suppose you have 2n empty squares arranged in a row and you want to mark (select) n of them. There are ( 2 n n ) ways to do this. On the other hand, you may select your n squares by selecting k squares from among the first n and n k squares from the remaining n squares; any k from 0 to n will work. This gives ''
(3) k = 0 n ( n k ) ( n n k ) = ( 2 n n ) .
But ( n n k ) = ( n k )
and (3) is proved.
If n 2 there is some k for which ( n k ) > 1. Consequently
k = 0 n ( n k ) 2 > k = 0 n 1 ( n k ) = 2 n
and (2) is proved.
In the odd case we have to prove that
(4) ( 2 n + 1 n ) > 2 n + 1 / 2  for  n 1.
However,
( 2 n + 1 n ) = 2 n + 1 n + 1 ( 2 n n ) > 2 2 n = 2 n + 1 / 2
and (4) is also proved.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?