q-Apery Irrationality Proofs by q-WZ Pairs
arXiv:math/9804122
Abstract
Using WZ forms, Apery-style proofs of the irrationality of the q-analogues of the Harmonic seires and Ln(2) are given. For the q-analogue of Ln(2), this method of proof produces an improved irrationality measure.
9 pages. See also http://www.math.temple.edu/~zeilberg/mamarim/mamarimhtml/qapery.html