Eq. (19) — case λ*t ≤ n: J^FP(n,t) ≥ p*(λ*t − (√(λ*t + (n − λ*t)²) − (n − λ*t))/2) ≥ r*t(1 − 1/(2√(λ*t)))

Initializing...

Eq. (19) — case λ*t ≤ n: J^FP(n,t) ≥ p*(λ*t − (√(λ*t + (n − λ*t)²) − (n − λ*t))/2) ≥ r*t(1 − 1/(2√(λ*t))) · Prove2Me