Added an example where the dimension bound of the polytope is tight.