Bootstrap distinct-limit: lim_{n→∞} [1-(1-1/n)^n] = 1-e^{-1}

Sympy-exact witness of the bootstrap distinct-fraction infinite-n limit. Setup: distinct-fraction = 1 - (1 - 1/n)^n as a function of n. Identity (sp.limit n→∞): 1 - lim(1-1/n)^n = 1 - exp(-1) ≈ 0.6321 — the canonical '63.2% bootstrap…