1: \begin{equation} \label{eq:ubpayoff}
2: P ^{\,U\!B} (n,m) = \sum _{i=n} ^m cr ^{max}(i) = \footnote{By vitrue of (\ref{eq:creditUBform}) page \pageref{eq:creditUBform}.}
3: \sum _{i=n} ^m (\lfloor \lg i \rfloor + \lfloor \lg( i-1) \rfloor). \;
4: \footnote{It is known that for $ n = 2 $, the right-hand side of (\ref{eq:ubpayoffn2m-1}) reduces to a closed-form formula $ (2m-1)\lfloor \lg (m-1) \rfloor
5: - 2 ^{\lfloor \lg (m-1) \rfloor +2}+4$; for instance, proof of Theorem 8.1 in \cite{suc:elem} provides a derivation of it. Thus for any $ n > 2 $, the right-hand side of (\ref{eq:ubpayoff}) reduces to a closed-form formula $ (2m+1)\lfloor \lg m \rfloor
6: - 2 ^{\lfloor \lg m \rfloor +2} - (2n-1)\lfloor \lg (n-1) \rfloor
7: + 2 ^{\lfloor \lg (n-1) \rfloor +2} $.}
8: \end{equation}
9: