A cubic bound on a closed interval

Prove that $a^3\ge 3a-2$ for all $2\ge a \ge -2$.

Source: InternLM Lean-Workbook, record lean_workbook_28353 (Apache-2.0). The complete source proposition and explicit variable declarations are preserved.