An Algorithmic Proof of Forster's Lower Bound - Moritz Hardt