xy>\varepsilon_0^2-(\sup{A}+\sup{B})\varepsilon_0+\sup{A}\sup{B}