Bây giờ hãy xem xét một con đường tối ưu hàng đầu từ trạng thái ban đầu đến một trạng thái mục tiêu. Theo giả định rằng con đường giải pháp tối ưu này không được tìm thấy, thì phải có một số nút n dọc
con đường này đã được tạo ra nhưng không được mở rộng. Điều đó chỉ có thể nếu g (n) + h (n) ≥ bk.
Nhưng bằng việc chấp nhận h, chúng ta biết rằng
đang được dịch, vui lòng đợi..