P
Initializing...
$K_G\ge\pi/2$ · Prove2Me