>>479は有限の行動を無限回の記述で表しただけで、
無限回の行動が有限の時間に終わることを意味していません。