Cho hai số thực dương x, y thỏa mãn 2^y + y = 2x + (log 2 (x+ 2^(y-1))) Giá trị nhỏ nhất

Cho hai số thực dương x, y thỏa mãn 2y+y=2x+log2(x+2y-1). Giá trị nhỏ nhất của biểu thức P=xy bằng