>300
{log(1-x)}/log2 <= {log(4+x) + 4*log2}/(2*log2)
log{(1-x)^2} <= log{2^4*(4+x)}
(1-x)^2 <= 16(4+x) (because e > 1 )
x^2-18x-63 <= 0
(x+3)(x-21) <= 0

ところで、
" x^4 + y^4 - 2*x^2 + 4*x*y - 2*y^2 " が(x,y)=(0,0)で極値を取らないことはどう示せばよいですか。