Hardy-Ramanujan partition formula