int from 0 to 1 of (sqrt(3) * (1 - x))^2 dx