title: How to prove admissibility of a heuristic function
body: <p>I know that a heuristic function which never overestimates the real distance to the goal is called admissible. I found a heuristic function does that in practice but i don't know how to give a formal proof. How can i prove that a heuristic function is admissible? For example: Manhattan Distance Heuristic.</p>