定义区间 ， ， ， 的长度均为 ，多个区间并集的长度为各区间长度之和，例如, 的长度 ．用 表示不超过 的最大整数，记 ，其中 ．设 ， ，若用 分别表示不等式 ，方程 ，不等式 解集区间的长度，则当 时，有