This question is inspired by this one, where the law of the minimum $X$ of $m$ elements sampled without replacement from $\{1, \dots, n\}$ was investigated.
In this question we wrote that the number of possible samples is $n\choose m$, and the number of samples with $X = k$ is $n-k \choose m-1$, so the law of $X$ is given by $ \mathbb P(X=k) = { {n-k \choose m-1} \over {n\choose m}}. $
In the same question, an numerical application was done to compute the probability of the event $\{X \text{ is odd}\}$ in the case $n = 20$ and $m = {1\over 2} n$. The result was suprisingly near to $2 \over 3$, as joriki remarked. I then tried to investigate whether this was a coincidence, or not, hence to find the asymptotic behaviour of this distribution when $n\gg 1$, and $m \simeq pn$. Here is what I’ve done.
Unformal reasonning
When $n\gg 1$, at least for small values of $k$, this is like the first success in a Bernoulli process: you have $X=1$ with probability $p$, and conditionnal to $X>k$, you have $X = k+1$ with probability $p$ again, because as $k$ is small, the event of sampling $k+1$ is "almost independent" of the event $\{\text{we didn’t sample } 1, \dots, k\}$ . This leads to $\mathbb P(X=k) \simeq (1-p)^{k-1} p.$ In the case $p={1\over 2}$ this explains well the proximity between the probability for $X$ to be odd and ${2\over 3}$.
Attempt to a formal proof
Here is where I need help... using Stirling formula, I managed to write that for $n \gg 1$ and $m \simeq p n$, $ {n \choose m} \simeq {1 \over \sqrt{2\pi p(1-p) n}} \left( p^p (1-p)^{1-p}\right)^{-n}.$
But I was unable to go further. Moreover if we want convergence in law, is this enough to prove pointwise convergence? Don’t we need to write inequalities and sum up the values to show the convergence of the cdf?
Many thanks in advance for your help.