Hardy–Ramanujan number