Nem világos, mit jelent az, hogy "algebrailag levezetni". Mindenesetre az egyenlőtlenségek nem algebraiak, tehát a levezetés sem lehet az.

XtraP levezetése egyébként tökéletes. Mivel 2<=a<=8, ezért |a-5|<=3, vagyis

a(10-a) = 25 - (a-5)² >= 25 - 3² = 16.

Nem hiszem, hogy több lenne ebben a történetben.