(κ : ℝ) (n : ℕ) : amp κ n = (κ / 2) * (Real.sqrt ((n : ℝ) + 1) * Real.sqrt ((n : ℝ) + 2))

Initializing...

(κ : ℝ) (n : ℕ) : amp κ n = (κ / 2) * (Real.sqrt ((n : ℝ) + 1) * Real.sqrt ((n : ℝ) + 2)) · Prove2Me