Lehmer, Derrick Norman, 1867-1938