rt,即不同的二元组 (⌊ni⌋,⌊mi⌋)(\lfloor\frac n i\rfloor,\lfloor\frac m i\rfloor)(⌊in⌋,⌊im⌋) 的数量是 n\sqrt nn 级别的证明。