sinx^4 + siny^4 \leq x^4 + y^4