Say $X$ has a hypergeometric distribution with parameters $m$, $n$ and $k$, with $k\leq n<\frac12m$.
I know that $X$ has a dual mode if and only if $d=\frac{(k+1)(n+1)}{m+2}$ is integer. In that case $P(X=d)=P(X=d-1)$ equals the maximum probability.
I am wondering if I can say anything about $P(X=d+1)$ versus $P(X=d-2)$ then. When is the former higher than the latter? I.e. when is:
$P(X=d+1)>P(X=d-2)$
Always? I tried many combinations programmatically and did not find any counterexample.
So far I have found:
$\frac{P(X=d+1)}{P(X=d-2)}=\frac{(k-d+2)(k-d+1)(k-d)(n-d+2)(n-d+1)(n-d)}{(d+1)d(d-1)(m-k-n+d+1)(m-k-n+d)(m-k-n+d-1)}$
Because $d=\frac{(k+1)(n+1)}{m+2}$, this can be simplified to:
$\frac{P(X=d+1)}{P(X=d-2)}=\frac{(k-d+2)(k-d)(n-d+2)(n-d)}{(d+1)(d-1)(m-k-n+d+1)(m-k-n+d-1)}$
I have tried further combining this with $d=\frac{(k+1)(n+1)}{m+2}$ being integer, but that gets quite complex and gives me no further clue.
I feel there is something relatively easy to prove here...?
For $n=\frac12m$, $P(X=d+1)=P(X=d-2)$ due to symmetry.