Explicit Construction of RIP Matrices Is Ramsey‐Hard. Issue 9 (11th November 2019)