I have a continuously differentiable curve $r : \mathbb{R} \to \mathbb{R}^{n}$, $n \ge 2$, with the properties \begin{align} \lvert r'(t) \rvert = 1 \text{ for all } t \in \mathbb{R}, \\ \lvert r'(t) - r'(s) \rvert \le \kappa \lvert t - s \rvert \text{ for all } t,s \in \mathbb{R},\\ \lvert r(0) \rvert = 1 / \kappa, \\ \langle r(0), r'(0) \rangle > 0, \end{align} where $\kappa > 0$.

For all curves with the above properties, I'm looking for a lower bound $t_{0} > 0$ such that $t > 0$ and $\lvert r(t) \rvert = 1 / \kappa$ implies $t > t_{0}$.

Intuitively, the curve that achieves $\lvert r(t) \rvert = 1/\kappa$ in minimum time for given $r(0)$ and $r'(0)$ is a circular arc with radius $1/\kappa$ contained in the plane spanned by $r(0)$ and $r'(0)$ (or any plane if $r(0)$ and $r'(0)$ are parallel). Over all such circular arcs, I believe we would then have $t_{0} = \pi / \kappa$.

I would be grateful for any reference I could cite for such a lower bound on $t$.

I have a continuously differentiable curve $r : \mathbb{R} \to \mathbb{R}^{n}$, $n \ge 2$, with the properties \begin{align} \lvert r'(t) \rvert = 1 \text{ for all } t \in \mathbb{R}, \\ \lvert r'(t) - r'(s) \rvert \le \kappa \lvert t - s \rvert \text{ for all } t,s \in \mathbb{R},\\ \lvert r(0) \rvert = 1 / \kappa, \\ \langle r(0), r'(0) \rangle > 0, \end{align} where $\kappa > 0$.

For all curves with the above properties, I'm looking for a lower bound $t_{0} > 0$ such that $t > 0$ and $\lvert r(t) \rvert = 1 / \kappa$ implies $t > t_{0}$.

Intuitively, the curve that achieves $\lvert r(t) \rvert = 1/\kappa$ in minimum time for given $r(0)$ and $r'(0)$ is a circular arc with radius $1/\kappa$ contained in the plane spanned by $r(0)$ and $r'(0)$ (or any plane containing $r(0)$ if they are parallel). Over all such circular arcs, I believe we would then have $t_{0} = \pi / \kappa$.

I would be grateful for any reference I could cite for such a lower bound on $t$.