Q:
When I add a constraint my code does not compile, what am I doing wrong?
I need to prove that a function satisfies a constraint.
The function I'm working with is:
const double f(double x) {
return 2 * sqrt(x) - 1;
}
I'm trying to prove the following:
// (f(x) - 3)^2 ac619d1d87
Related links: