P

Initializing...

Theorem 4, second sentence, PDF p. 6 — on s₁ ≤ s₂ ≤ φs₁, R = 1 + s₂/(s₁ + s₂) ≤ φ, with equality at s₂/s₁ = φ · Prove2Me