a ≤ a^2 + 1/3
<=> 0 ≤ a^2 - a + 1/3 quadratische Ergänzung
<=> 0 ≤ a^2 - a +1/4 - 1/4 + 1/3
<=> 0 ≤ ( a - 1/2)^2 - 1/4 + 1/3
<=> 0 ≤ ( a - 1/2)^2 + 1/12
Da Quadrate nie negativ sind, gilt das für alle a∈ℝ.
Und es gilt niemals gleich, denn dann müsste das Quadrat
gleich -1/12 sein, was nicht möglich ist.