// the entire resulting pdf. Note that since we're actually evaluating
// a triple integral, we'll need to multiply by 4h³ (no idea where the
// 4 factor comes from, probably from the 0..6000 range somehow) instead
// the entire resulting pdf. Note that since we're actually evaluating
// a triple integral, we'll need to multiply by 4h³ (no idea where the
// 4 factor comes from, probably from the 0..6000 range somehow) instead