altro TST iraniano

[piever]

Problema carino, anche se dall'enunciato non sembrerebbe...

Sia $ T\subseteq \{ 1,\dots ,n\} $ tale che, se $ i,j\in T $ e $ i\neq j $, allora $ i\nmid 2j $

Si dimostri che $ \displaystyle |T|\le \frac{4}{9}n+\log_2 n +2 $

Buona fortuna