ステップ1の下界より xbc+yca+zab≥(a−1)bc+(b−1)ca+(c−1)ab=3abc−ab−bc−caxbc+yca+zab\ge(a-1)bc+(b-1)ca+(c-1)ab=3abc-ab-bc-caxbc+yca+zab≥(a−1)bc+(b−1)ca+(c−1)ab=3abc−ab−bc−ca。これは abc>0abc>0abc>0 だけ NNN より大きく矛盾。よって NNN は表せない。