probability in shaded region