Removes hardness of approximation section.
Adds error bound amplification lemma.
Adds missing parameters to lemma.