最初無一文の人が、「勝つと1万円もらい、負けると1万円払う」というゲームを繰り返す。
ただし、無一文の状態で負けた場合は金を払う代わりに借用証を1枚作ることにする。
またその後持ち金ができても借用証は払い戻さず持ち続けるとする。
n回のゲームが終了したときの
　この人の持ち金をx_n万円、またこの人の収支(= 持ち金-借用証の枚数)をy_n万円
とする。

このとき、 x_n = 0 であることと、 「 y_n ≦0 かつ y_n ≦ y_k (k=1, 2, 3, ・・・, n-1)」は同値でしょうか。