Added optimization problem and some minor changes
Added lemma references