Inequalities for the average exit time of a random walk from an interval. (August 2021)