(edited) I am considering the problem about the cardinality of a proper subset, $A\subset\{0,1\}^d$ where $d$ is an integer. Of course, $|A|<2^d$. I am wondering if there is a tighter bound for it. As suggested by Ashok, I suspect the subset cardinality has some thing to do with the entropy, $H(p^*)$ , where $P^*=\sum _{x\in A}P(x)$, and $P(x)$ is the (empirical distribution) type of x. Maybe be the form of $|A|<2^{d*H(P^*)}$, which is similar to the form suggested by Ashok,
any idea will be appreciated. Thanks