Có bao nhiêu cặp số nguyên dương (x;y) với y nhỏ hơn hoặc bằng 2021

Câu hỏi :

Có bao nhiêu cặp số nguyên dương (x;y) với $y\le 2021$ thỏa mãn $\log \frac{x+1}{2y+1}\le 4y^4+4y^3-x^2{y}^2-2y^{2}x$