La convessità serve per dire che la derivata prima è monotona, dunque ammette limite. A quel punto la dimostrazione si fa con Lagrange. Si tratta sostanzialmente di una caso speciale del teorema dell'asintoto (vedi per esempio lezioni AM2_16).