Description: Lemma for opsqri . FN is the recursive function A_n (starting at n=1 instead of 0) of Theorem 9.4-2 of Kreyszig p. 476. (Contributed by NM, 17-Aug-2006) (New usage is discouraged.)