min{ x(n,0) | nは整数 } = X0

n≧N ⇒ y(n,0)=α
M<n<N ⇒ y(n,0) = X0/2
n≦M ⇒ y(n,0)=β
y(n,t) も x(n,t) と同形の漸化式を満たす。
とすれば
 y(n,t) ≦ x(n,t)
だろうな