Thus the sequence P(m) is strictly decreasing.
P(m) 是嚴格遞減的。