Le problème de Horn probabiliste consiste en le calcul de la densité de la loi des valeurs propres d'une somme de matrices hermitiennes aléatoires, chacune d'elle étant tirée uniformément au hasard parmi celles ayant un spectre prescrit. Dans une première

Nous donnons des  inégalités nouvelles pour la partie positive d'une martingale de variance infinie et son maximum. Ces inégalités améliorent les inégalités classiques dans certains cas.