PI/sqrt(2)