Flajolet–Sedgewick fundamental theorem