Manuscript En02-C@1 · En02-C-v1.tex · section · 7549c6df
C3: an optimal approximate memory obstruction
C3: an optimal approximate memory obstruction · lines 904–909
The separability proof is stronger than an exact-only obstruction: it supplies a positive optimized approximate-error bound directly.