[lec17] fix typos in the analysis of gradient descent