You have made good progress so far. Let's continue from where you left off. We have:

$$\nu(\pi^{-1}(B) \setminus (\pi^{-1}(B) \cap B_m)) < \varepsilon \cdot c \mu(Z)$$

for some $m \geq 1$.

Since $\pi^{-1}(B) \setminus (\pi^{-1}(B) \cap B_m) = \pi^{-1}(B) \cap B_m^c$, we can rewrite the above as:

$$\nu(\pi^{-1}(B) \cap B_m^c) < \varepsilon \cdot c \mu(Z)$$

Now, let $E \in \mathcal{A}$. We want to show that:

$$\nu\left( (\pi^{-1}(Z) \cap B_m) \cap \pi^{-1}(Z \cap E) \right) \geq (1-\delta) \cdot c \mu(Z \cap E)$$

for a suitable choice of $Z \subseteq B$ with $\mu(B \setminus Z) < \varepsilon$. As you correctly noted, this is equivalent to showing:

$$\delta \cdot c \mu(Z \cap E) \geq \nu(\pi^{-1}(Z \cap E) \setminus B_m)$$

Since $Z \cap E \subseteq B$, we have $\pi^{-1}(Z \cap E) \subseteq \pi^{-1}(B)$. Then:

$$\pi^{-1}(Z \cap E) \setminus B_m = \pi^{-1}(Z \cap E) \cap B_m^c \subseteq \pi^{-1}(B) \cap B_m^c$$

Thus:

$$\nu(\pi^{-1}(Z \cap E) \setminus B_m) \leq \nu(\pi^{-1}(B) \cap B_m^c) < \varepsilon \cdot c \mu(Z)$$

We want this to be less than or equal to $\delta \cdot c \mu(Z \cap E)$, i.e., we want:

$$\varepsilon \cdot c \mu(Z) \leq \delta \cdot c \mu(Z \cap E)$$

However, this is not generally true, as $\mu(Z \cap E)$ can be arbitrarily small.

The issue arises from the definition of $f(x) = \nu(\pi^{-1}(x) \cap B_m^c)$, which is often zero almost everywhere if $\nu$ is continuous. To resolve this, we use conditional measures or conditional expectations.

Assuming the existence of a disintegration of $\nu$ with respect to $\mu$, let $\nu_x$ be the conditional measure on $\pi^{-1}(x)$ for $\mu$-almost every $x \in X$. Define $f(x) = \nu_x(B_m^c)$. This can also be written as $f(x) = E[\mathbf{1}_{B_m^c} \mid \pi^{-1}(x)]$, the conditional expectation of the indicator function of $B_m^c$ given $\pi^{-1}(x)$, with respect to $\nu$.

Recall that $\pi^{-1}(B) \cap B_n \to \pi^{-1}(B)$ (mod $\nu$). Choose $m$ such that:

$$\nu(\pi^{-1}(B) \cap B_m^c) < \delta c \mu(B)$$

Then:

$$\int_B f(x) \, d\mu(x) = \int_B \nu_x(B_m^c) \, d\mu(x) = \nu(\pi^{-1}(B) \cap B_m^c) < \delta c \mu(B)$$

Define $Z = \{ x \in B : f(x) < \delta c \}$. We want to show $\mu(Z) > 0$.
We have:

$$\delta c \mu(B) > \int_B f(x) \, d\mu(x) = \int_Z f(x) \, d\mu(x) + \int_{B \setminus Z} f(x) \, d\mu(x)$$

Since $f(x) < \delta c$ for $x \in Z$ and $f(x) \ge \delta c$ for $x \in B \setminus Z$, we have:

$$\int_Z f(x) \, d\mu(x) \le \int_Z \delta c \, d\mu(x) = \delta c \mu(Z)$$

and

$$\int_{B \setminus Z} f(x) \, d\mu(x) \ge \int_{B \setminus Z} \delta c \, d\mu(x) = \delta c \mu(B \setminus Z)$$

Thus:

$$\delta c \mu(B) > \delta c \mu(Z) + \delta c \mu(B \setminus Z)$$

$$\mu(B) > \mu(Z) + \mu(B \setminus Z)$$

This is a contradiction unless $\mu(Z) > 0$.
Now, for $E \in \mathcal{A}$:

\begin{align*}
\nu(\pi^{-1}(Z \cap E) \setminus B_m) &= \int_{Z \cap E} f(x) \, d\mu(x) \\
&< \int_{Z \cap E} \delta c \, d\mu(x) \\
&= \delta c \mu(Z \cap E)
\end{align*}

Then:

\begin{align*}
\nu\left( (\pi^{-1}(Z) \cap B_m) \cap \pi^{-1}(Z \cap E) \right) &= \nu\left( \pi^{-1}(Z \cap E) \cap B_m \right) \\
&= \nu(\pi^{-1}(Z \cap E)) - \nu(\pi^{-1}(Z \cap E) \setminus B_m) \\
&= c \mu(Z \cap E) - \nu(\pi^{-1}(Z \cap E) \setminus B_m) \\
&> c \mu(Z \cap E) - \delta c \mu(Z \cap E) \\
&= (1 - \delta) c \mu(Z \cap E)
\end{align*}

Thus, we have shown that for any $\varepsilon > 0$ and $\delta \in (0, 1)$, there exists some $m \geq 1$ and a set $Z \in \mathcal{A}$ such that $Z \subseteq B$ and $\mu(B \setminus Z) < \varepsilon$, for which the following holds for any $E \in \mathcal{A}$:

$$\nu\left( (\pi^{-1}(Z) \cap B_m) \cap \pi^{-1}(Z \cap E) \right) \ge (1-\delta) \cdot c \mu(Z \cap E)$$