What is a «binomial probability distribution» function?

TODO