Martingale conditions for optimal saving-discrete time