Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to understand a lemma from a paper (most of the proof was omitted), and I've got it melted down to the following: Let $B_n$ denote the $n$-th Catalan Number. In a sufficiently small neighbourhood of $z = \frac{1}{4}$ we have \begin{equation} \sum_{p \ge p_0} B_p z^p = \frac{C}{\sqrt{\ln (\frac{1}{1-4z})}} + O\bigg(\frac{1}{\sqrt{\ln^3 (\frac{1}{1-4z})}}\bigg) \end{equation} where $p_0 = p_0(z) = \ln \frac{1}{|1-4z|}$ and $C = 2 \sqrt{\ln 4 / \pi}$. I guess one either has to express it as the difference between the generating function of the Catalan Numbers $B(z) = \frac{1 - \sqrt{1-4z}}{2z} $ and a finite sum of Catalan Numbers, or calculate a series of shifted Catalan Numbers. I've tried both; yet neither one of them yield the desired solution. The lemma has been taken from the paper Analytic Variations on the Common Subexpression Problem by P. Flajolet et al (Lemma 1). I asked a part of the problem in question 107773, where it was suggested that I ask the whole problem, not just a part of it. I would be grateful for any help.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.