习题 3, § 1

在乘积环$A = \mathbf{R}^{\mathbf{N}}$中，令(foreach$n \in \mathbf{N}$)$m_n$为$f : \mathbf{N} \to \mathbf{R}$的最大理想由……组成，使得$f(n) = 0$。证明 $a = \mathbf{R}^{(\mathbf{N})}$ 是 A 的理想，包含在 $m_n$ 的并中，但不属于这些极大理想。