theorem UGCHardness.corollary_1_2 (hUGC : UGC) (ε : ℝ) : ε > 0 → MaxCut.IsNPHardGapMaxCut (1 - ε) (MaxCut.goemansWilliamsonConstant + ε)