Solution
= Solution
Replace the two $G$ quantiles by conditional <bootstrap> quantiles $\hat q_u$ in the interval from (a). <Uniform convergence> implies $\hat q_u\to q_u$ in probability at continuity points, so Slutsky and continuity of $G$ give coverage tending to $1-\alpha$.