関数f:Z^2→Rが∀n,m∈Z f(n,m)≧0で
∀n,m∈Z 4*f(n,m) = f(m-1,n)+f(m+1,n)+f(m,n-1)+f(m,n+1) なら
f(n,m)は定数関数になる。

昔数学板で結構話題になった問題。

連続（f:R^2→Rが f(x,y)≧0でΔf=0）だと難易度は落ちるのに、
↑のはなかなか解けないのがｲﾔｰﾝ