Theorem 3.1, proof — a rank-one perturbation of norm 1 attains ‖Ax − b‖ + √(‖x‖² + 1) (sign corrected)

Initializing...

Theorem 3.1, proof — a rank-one perturbation of norm 1 attains ‖Ax − b‖ + √(‖x‖² + 1) (sign corrected) · Prove2Me