P
Initializing...
$\mu(1)=0$ · Prove2Me