On necessary conditions for Henstock integrability (Q1308854)

Let \(X_ n,n\in\mathbb{N}\), be an increasing sequence of closed subsets of \([a,b]\), and let \(f: [a,b]\to\mathbb{R}\). Consider the following two properties of \(f\). (L) \(f\) is Lebesgue integrable on each \(X_ n,n\in\mathbb{N}\), and if \(\phi_ n(x)=\int_{X_ n\cap[a,x]}f\), \(n\in \mathbb{N}\), then this sequence of functions converges uniformly on \([a,b]\). (H) For each \(n\in\mathbb{N}\) let \(\delta_ n: [a,b]\to ]0,\infty[\) be such that if \(x\not\in X_ n\) then \(]x-\delta_ n(x), x+\delta_ n(x)[\) does not intersect \(X_ n\). If then \(D=\{a_ 0,\dots,a_ m;\;x_ 1,\dots,x_ m\}\) is a \(\delta_ n\)-fine partition of \([a,b]\) and if \(J_ n=\{i; x_ i\not\in X_ n, 1\leq i\leq m\}\) define \(\tau_ n(x)=\sup\sum_{i\in J_ n} f(x_ i)(a_ i- a_{i-1})\), where the sup is taken over all \(\delta_ n\)-fine partitions. Finally, let \(\tau_ n=\sup_{a\leq x\leq b}\tau_ n(x)\); then \(f\) is such that \(\lim_{n\to\infty}\tau_ n=0\). The author proves that \(f\) is Henstock-Kurzweil integrable iff is satisfies both (L) and (H); and then the integral is the limit of the \(\phi_ n\) defined in (L). He further gives an example of a function that is not Henstock-Kurzweil integrable but which satisfies (L).