In the 'Optimistic Heuristics' function, we learn a rough sketch of a proof of why h(s) <= true_cost(s, goal) implies that A* finds the cheapest path in tree search. First let me present his argument point-wise. Let p be the solution path, so, p.end = goal. Let p' be a path in the frontier when A* completes. So, f(p) <= f(p'). So, g(p) + h(p) <= g(p') + h(p'). Since h(p) = 0, g(p) &l…