Apparently an eager algorithm seems to come up with decent results. Now how to prove that it is (not) optimal?