downs:
> Also .. is it expected that this does an infinite loop?

Yes, often numeric sequences are infinite. One of the advantages of lazy computation is to allow to manage infinite sequences.

Bye,
bearophile