A discretization of O'Hara's knot energy and its convergence. - Shoya Kawakami (CoRR, 2019)