(a+1-b)*(a+1)^(b-1)<=a^b