b(n)c(n)+a(n+1)=b(n+1)c(n+1).
a(n+1)<b(n+1).
b(n+1)c(n+1)<b(n)c(n)+b(n+1).
b(n+1)(c(n+1)-1)<b(n)c(n)<=b(n+1)c(n).
c(n+1)-1<c(n).
c(n+1)<=c(n).