Title: The optimality of proportional navigation