def definition def or abbrev

`attempt3`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 101noncomputable def attempt3 : ℝ := 2 + 1/phi^2

Definition body.

 102
 103/-- Attempt 4: e ≈ (φ + 1)^(2/φ)
 104
 105    φ + 1 = φ² ≈ 2.618
 106    2/φ ≈ 1.236
 107    2.618^1.236 ≈ 3.34 (too big) -/