Fully random only appreciably diverges from 2^n when 2^n becomes a sizable share of the world's population. When the population is roughly 2^2n, you expect to

Fully random only appreciably diverges from 2^n when 2^n becomes a sizable share of the world's population. When the population is roughly 2^2n, you expect to lose one ancestor in that generation.