Hardy-Ramanujan number