technique for analyzing SA using the smoothed Lyapunov function is applicable for developing bounds for RL that