Challenge

a*b is considered powerful if (and only if) both of the following 2 conditions are met:

1. a*b >= 2 * (b+3)
2. a*b >= (a+b) * 2

return whether a*b is powerful or not.

(C has no boolean type, so 1 is used for true and 0 for false.)