両方の数列は狭義単調増加する。さらに、yi+1<yi+2y_{i+1}<y_{i+2}yi+1<yi+2からmi<nim_i<n_imi<ni、yi<yi+1y_i<y_{i+1}yi<yi+1からni<mi+1n_i<m_{i+1}ni<mi+1が従う。したがって996個のmの値と995個のnの値はすべて異なる。