Michiel de Bondt
The problem `Exploring Mount Neverest' by Henry Ernest Dudeney is solved. Dudeney formulated the problem in the beginning of the 20th century and gave a non-optimal solution (without estimating the non-optimality).
Michiel de Bondt
This paper contains 4 sections, 8 theorems, 48 equations, 3 algorithms.
Lemma 1
We may assume that the exploration can be divided into parts A, B and C as above, such that the boundary of part A and part B is not crossed by any ration box, sealed or unsealed. Furthermore, we may assume that part C is a trip from the boundary of part A and part B straight to the starting point.
