• Stirling's approximation is that (n choose k) is at most (en/k)^k (where e is 2.71) and at least (n/k)^k
  • what is the probability that there exists an S subseteq L with |S|=i and |N(S)| < (1+eps)|S|?
  • (Then use union bounds on the possible sizes of S.)
  • Note that you only have to show that the randomly chosen graph is an expander with some constant (>0) probability.
  • If it makes it easier to allow multiple edges, then by all means do so.