sum_{i = 0}^j (n choose i)