Question 262394
the product of c and c less than 4
is translated as
 4 - c*c
or
4 - c^2