Note: This is not an official tripos course and these notes are not based on lectures, this is just some analysis lemmas needed to properly justify other courses on here since we do Maths this way on here.