>>209
画面の端に
※εを0とした単純化した式で反例はある
みたいに書いてなかったっけ