Формула Харди-Рамануджана