$ T$ es un subconjunto de $ {1,2,...,n}$ que tiene esta propiedad : para todo $ i,j \in T$ distintos, $ 2j$ no es divisible por $ i$ . Demuestra que : $ |T| \leq \frac {4}{9}n + \log_2 n + 2$