¹See my midterm solution for this problem