Every absolutely Henstock-Kurzweil integrable function is McShane integrable: an alternative proof (Q1767350)

Let \(E\) be a compact interval in \(\mathbb R^n\) and let \((X,\| \cdot\| )\) be a Banach space. A function \(f\!:\!E\to X\) is \textit{strongly} Henstock--Kurzweil integrable if there is an additive interval function \(F\!:\!{\mathcal I}\to X\), where \({\mathcal I}\) are the nondegenerate intervals in \(E\), such that for every \( \epsilon>0\) there is a gauge \(\delta\) on \(E\) such that \[ \sum_{i=1}^p \| f(\xi_i)| I_i| - F(I_i)\| <\epsilon \] for each \(\delta\)-fine partition \(\{(I_i,\xi_i)\}_{i=1}^p\) in \(E\). If also \(\| f\| \) is Henstock--Kurzweil integrable then \(f\) is said to be \textit{absolutely strongly} Henstock--Kurzweil integrable. The author proves that if \(f\) is absolutely strongly Henstock--Kurzweil integrable then \(f\) is McShane integrable. This is accomplished by proving an absolute continuity property of \(F\) (\textit{strong absolute continuity}). The proof is self-contained in that it uses only the definition of the integral and refrains from using measurablility of \(f\) or convergence theorems.