Graph Partitions

For any graph \(G\), and all \(s = 2^k\), we show there is a partition of the vertex set of \(G\) into \(s\) sets \(U_1, \ldots, U_s\), so that both:
\(e(G[U_i]) \leq \frac{e(G)}{s^2} + \sqrt{\frac{e(G)}{s}}, \quad \text{for } i = 1, \ldots, s\) and \(\sum\limits_{i=1}^s e(G[U_i]) \leq \frac{e(G)}{s}.\)