P
Initializing...
The $n$-dependent singular-series factor is at least $1$ · Prove2Me