https://123dok.net/document/z3dmr8km-restricted-isometry-constants-ell-sparse-recovery-fail-leq.html