Coming down from infinity of the Kingman coalescent
ID: coming-down-from-infinity-of-the-kingman-coalescent
For , the number of blocks is finite almost surely. On a finite restriction, the expected time to reach blocks is at most . Markov inequality, followed by increasing the restriction, gives . Let , then use rational times and monotonicity to obtain the assertion simultaneously for every .
New to topics? Read the docs here!