[math-fun] Number of points on convex hull, and number of undominated points