自然数の値を取る増加列が誘拐なんてことがあるのか