>>365
任意の ε>0 に対して (p かつ¬q)