Banach space, Henstock-Kurzweil integral, Feynman path integral