https://www.dict.cc/english-german/Hardy+Ramanujan+number.html