a posteriori density function