Claim 1 (proof) — the ℓ₁ distance to $B_1(\varepsilon/2)$ is $\max\{0,\|x\|_1-\varepsilon/2\}$

Initializing...

Claim 1 (proof) — the ℓ₁ distance to $B_1(\varepsilon/2)$ is $\max\{0,\|x\|_1-\varepsilon/2\}$ · Prove2Me