nonseqseq

Indeed. Ritalin and benzedrine. Originally prescribed for depression apparently. Notably his output was quite high adjusting for his age at the time.

https://en.wikipedia.org/wiki/Paul_Erd%C5%91s#Personality

https://amphetamines.com/paul-erdos/