Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
The plot (blue curve) approximately follows Heap's law (black guideline). The graph is obtained by averaging 
implementations with independently random sequences of recipes.
