Initial information about polytope dimension bounds.