pi/(4-pi)