Positivity of cumulative sums for multi-index function components explains the lower bound formula in the Levin-Robbins-Leu family of sequential subset selection procedures

We exhibit some strong positivity properties of a certain function that implies a key inequality that in turn implies the lower bound formula for the probability of correct selection in the Levin-R...