Proof of Theorem 3.5, p. 9 — a uniformly random A : {0,1}ⁿ → {0,1}ⁿ misses 1ⁿ with probability ((2ⁿ−1)/2ⁿ)^{2ⁿ} ≥ 1/4

Initializing...

Proof of Theorem 3.5, p. 9 — a uniformly random A : {0,1}ⁿ → {0,1}ⁿ misses 1ⁿ with probability ((2ⁿ−1)/2ⁿ)^{2ⁿ} ≥ 1/4 · Prove2Me