No sé si esto es suficientemente riguroso, pero se puede tomar la función y notar que cuando hay un máximo en el dominio de $[0,13]$ Como tenemos dos funciones crecientes y una decreciente sumadas, nuestra función sólo tiene un punto crítico (algo que observamos, no se ha demostrado), sin considerar los puntos extremos. Cuando dejamos que $x_0$ sea nuestro máximo observamos que $$ \frac{f(x)-f(x_0)}{x-x_0} =\begin{cases} >0 & \text{if }x<x_0 \\ <0 & \text{if }x>x_0 \end{cases} $$ Ahora, obviamente, si $x = x_0$ entonces esto es indefinido, pero si elegimos cualquier valor del lado izquierdo de $9$ , digamos que $8.5$ observamos que obtenemos un valor positivo, y para cualquier cosa del lado derecho, como $9.5$ terminamos con un valor negativo. Esto demuestra que $9$ es un máximo local.
Yo diría que el problema de esto es que no ha verificado que algún otro punto no sea también un máximo, pero creo que te encontrarás con ese problema mientras no estés considerando la derivada. Así que aunque no sea perfecto, es un buen comienzo.
El uso de esto es esencialmente mirando la pendiente de la línea antes y después de algún punto, que se puede argumentar que se está moviendo hacia el ámbito del cálculo, pero se mantiene lejos de las derivadas.
Edición: Si efectivamente creemos que sólo hay un punto crítico, encontrarás el mínimo en el punto límite como has dicho, así que simplemente comprueba los dos para encontrar qué punto es más pequeño.