P
Initializing...
The local factor at $2$ equals $2$ for odd $n$ · Prove2Me