このとき、すべての "n" に対して "sn" ≤ "μ"("d")が成立することから、