P
Initializing...
$c_1(n)=1$ · Prove2Me