即2y²-12y+19>=1
即2y²-12y+18>=0
即y²-6y+9>=0
即(y-3)^2>=0
显然成立