Some probability inequalities for ordered MTP 2 random variables: a proof of the Simes conjecture | Synapse