Infinite polytope