a[i] > b[i] 인 경우: 불가능한 게 자명함

-> a[i] <= b[i] 만 남음


b[i] > b[i+1]+1인 경우:

a[i] == b[i] 이면 더해줄 필요가 없으므로 가능

a[i] < b[i] 이면 더해 줘야 하는데 b[i+1]+1 까지만 만들 수 있으므로 불가능

-> a[i]==b[i] 이거나 b[i] <= b[i+1]+1 인 경우만 남음


모든 i에 대해 a[i] <= b[i] 이고 b[i] <= b[i+1]+1 이면 만들 수 있음.