Contracting markovdicision processes by Nunen