Completed proof for theorem 1. need to double check.

done proof lemma 1

still trying to wrap up lemma 1 proof. check O notation and the sentence

still working on lemma 1. almost done. need to double check if

working on lemma 1 proof. look at nardi paper for existence of a local minimizer

redefining the objective function so that its under the same index h