x<x+y/√2<yって成り立つの?