The `n`-th coefficient of the Euler transform `eulerSer ε a` is the pattern sum `patternSum ε a n n`.

Initializing...

The `n`-th coefficient of the Euler transform `eulerSer ε a` is the pattern sum `patternSum ε a n n`. · Prove2Me