My university teaches discrete math, which covers this formula, in the first semester of computer science. Is this not standard?