Let $P \in k[[X]]$, where $k[[X]]$ denotes the ring of formal power series over the field $k$. Is well defined $$\prod_{n\in \mathbb{N}}P$$ (i.e. the power to infinity of $P$?)
By looking at the definition of $k[[X]]$ I don't think so, that is applies. Am I right?