n≥5n\ge5n≥5 ではこの積は非負である。5≤n≤65\le n\le65≤n≤6 では端点で0かつ区間内で非負、n≥6n\ge6n≥6 では各因子の符号が適切である。従って Q≥(n−32)Q\ge\binom{n-3}{2}Q≥(2n−3)。