spectral_norm_dual_attainment