Optimality of A* (proof)
	n Suppose some suboptimal goal G2 has been generated and is in the fringe. Let n be an unexpanded node in the fringe such that n is on a shortest path to an optimal goal G. n f(G2)　 = g(G2)　 since h(G2) = 0 n g(G2) > g(G) 　 since G2 is suboptimal n f(G)　　 = g(G)　　 since h(G) = 0 n f(G2)　 > f(G)　　 from above