On the discreteness and rationality of F-jumping coefficients

We prove that the F-jumping coefficients of a principal ideal of an excellent regular local ring of characteristic p>0 are all rational and form a discrete subset of R.