The maximum numbers of faces of a convex polytope, Mathematica 17 (1970)

by P McMullen