Proof of Theorem 3.5, p. 9 — 1ⁿ has a unique preimage under a random A with probability ((2ⁿ−1)/2ⁿ)^{2ⁿ−1} ≥ 1/e

Initializing...

Proof of Theorem 3.5, p. 9 — 1ⁿ has a unique preimage under a random A with probability ((2ⁿ−1)/2ⁿ)^{2ⁿ−1} ≥ 1/e · Prove2Me