int 8-2p^2*p dp dphi with phi from pi/4 to pi/2, p from 0 to 2