|x_n| <= |x_(K+1)| +1 에 대해서 이야기하면 잘 이해되는데

|x_n| <= |x_K| +1 라는 보장이 있나요?