4 ms·

Not really, he seems a grinding kind of mathematician, vs. Ramanujan who wouldn't bother with proofs.