a²+1/a² ≥ 2 √(a²+1/a²) ≥ √2 a+1/a = √(a²+1/a²+2)√(a²+1/a²+2) + √(a²+1/a²) ≥ 2 + √21/ [√(a²+1/a²+2) + √(a²+1/a²) ] ≤ 1/ (2 + √2)[√(a²+1/a²+2) - √(a²+1/a²) ]/2 ≤ (2 - √2)/2√(a²+1/a²) - √2 ≥ √(a²+1/a²+2) - 2√(a²+1/a²) - √2 ≥ a +1/a - 2