The "never-proved" triangle inequality: A GeoGebra & CAS approach | Publicación