Верно ли равенство (x + y)^2 = О(x^2 + y^2)?

if 0 < x < y:
    (x + y)^2 < 4 * y^2 < 4 * (x^2 + y^2)

фраза «сложность алгоритма есть O(f(n))» означает, что с увеличением параметра n, характеризующего количество входной информации алгоритма, время работы алгоритма будет возрастать не быстрее, чем некоторая константа, умноженная на f(n);