// probability a player wins at least one of k rounds <
>Pmax=?[F win=1 & rounds<=k ] <
>Pmax=?[F win=2 & rounds<=k ] // expected utility of a player over k rounds <
> R{"utility1"}max=?[F rounds=k ] <
> R{"utility2"}max=?[F rounds=k ]