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.