[074] Sia \(X=ℕ^ℕ\) ordinato con l’ordinamento lessicografico. Si costruisca una funzione \(f:X→ℝ\) strettamente crescente.
[075]↺↻
