A counterexample in discounted dynamic programming