What is a «binomial distribution» function?

TODO