John Edensor Littlewood, 9 June 1885 - 6 September 1977