Explicit irrationality measures for continued fractions

Let tau = [a(0);a(1), a(2), ... ], a(0) is an element of N. a(n) is an element of Z(+), n is an element of Z(+), be a simple continued fraction determined by an infinite integer sequence (an). We are interested in finding an effective irrationality measure as explicit as possible for the irrational number tau. In particular, our interest is focused on sequences (a(n)) with an upper bound at most (a(nk)), where a > 1 and k > 0. In addition to our main target, arithmetic of continued fractions, we shall pay special attention to studying the nature of the inverse function z(y) of y(z) = z log z. (C) 2012 Elsevier Inc. All rights reserved.