|y|+1/2≤√{1−|x|}