他意识到，如果直接用原始定义，任何两个不同整数的距离都是无穷大，因为对无穷多个p，|m―n|_p=1。

加权和自然发散。

需要修改。

也许不是所有p都计入？

也许只有那些对“区分”m和n有贡献的p才计入？

肖宿托腮思考了一会儿，他觉得定义2还不够完备。

定义2在实际计算中，应该只考虑那些|m―n|_p≠0的p，即p不整除m―n。

对于这些p，|m―n|_p=1。

所以d(φ(m),φ(n))正比于这些p的权重和。

当m―n固定时，这个和发散，所以需要正规化。

减去发散项，留下有限部分。

_c