How can I prove that at least one value of a square matrix is equal or more than its neighbors in the matrix?
I know that in the case where all the values are the same, then all of the values fullfill the condition.
To give some context, I'm analyzing 4 algorithms that find one value of a square matrix which is equal or more than its neighbors (The value above, the value below, the value at the left, and the value at the right) by recursion, and after a lot of attempts, I haven't got a matrix where I couldn't find a "peak" (trying with random values or by putting the worst-case scenario for each algorithm).
Is there a theorem that explains this or anything I can use to prove that there is at least one value in a square matrix that is equal or more than its neighbors?
To give an example of what I'm trying to say: $$ \begin{bmatrix} 1 & 5 & 9\\ 4 & 1 & 0 \\ 1 & 8 & 4 \end{bmatrix} $$ In this case, both 9, 8 and the first 4 are the "peaks", since none of their neighbors are more than them.