  We present infinite extensive strategy profiles with perfect information and
we show that replacing finite by infinite changes the notions and the reasoning
tools. The presentation uses a formalism recently developed by logicians and
computer science theoreticians, called coinduction. This builds a bridge
between economic game theory and the most recent advance in theoretical
computer science and logic. The key result is that rational agents may have
strategy leading to divergence .
