There are exponentially many vectors with small inner product · HackerTrans