In this paper, a general nonlinear discrete fractional boundary value problem is considered, of order between one and two. The main result is an existence theorem, proving the existence of at least one solution to the boundary value problem, subject to validity of a certain key inequality that allows unrestricted growth in the problem. The proof of this existence theorem is accomplished by using Brouwer's fixed point theorem as well as two other main results of this paper, namely, first, a result showing that the solutions of the boundary value problem are exactly the solutions to a certain equivalent integral representation, and, second, the establishment of solutions satisfying certain a priori bounds provided the key inequality holds. In order to establish the latter result, several novel discrete fractional inequalities are developed, each of them interesting in itself and of potential future use in different contexts. We illustrate the usefulness of our existence results by presenting two examples.