Problem

Source: Romanian TST 4 2007, Problem 3

Tags: induction, number theory proposed, number theory



Consider the set $E = \{1,2,\ldots,2n\}$. Prove that an element $c \in E$ can belong to a subset $A \subset E$, having $n$ elements, and such that any two distinct elements in $A$ do not divide one each other, if and only if \[c > n \left( \frac{2}{3}\right )^{k+1},\] where $k$ is the exponent of $2$ in the factoring of $c$.