Tauberian theorem for value functions - Dmitry Khlopin (2016)