The proof of Theorem 1 can be obtained by straightforward calculations.
Note that here we do not list the Kullback–Leibler distance
of the predictive distribution derived from the Nelson interval
because its Kullback–Leibler distance is divergent. Since the
predictive density function derived from it is