The bound as a cone

cone at k1