Finished greedy

As Ravi asked, I actually did the computation for why we get sublinear
error with greedy.