>>742
ちゃんとした証明はまだできてないがおそらく a+b>8
判別式 a^2-4b >=0 、 b^2-4a>=0 になり a≠b ならば
条件を満たす。
a,b共に4より微小に大きく微小に異なる数になる。