Nabla discrete fractional calculus and nabla inequalities

Here we define a Caputo like discrete nabla fractional difference and we produce discrete nabla fractional Taylor formulae for the first time. We estimate their remainders. Then we derive related discrete nabla fractional Opial, Ostrowski, Poincare and Sobolev type inequalities.