| Author |
Comment/Response |
Artyom Kazak
|
 08/15/12 2:59pm
This line of code: Resolve[Exists[{f, f1, r, rf}, f >= 0 && f <= 1 && f1 >= f && f1 <= Sqrt[f] && r >= 0 && r + rf <= 1 && rf <= f, Not[rf f1/f + r (1 - f1)/(1 - f) <= Sqrt[rf + r]]]]
gives False in Mathematica 8.0.4 and True in WolframAlpha.
If I’m right, it’s a bug. Am I right?
Also, is there a way to find out which answer is actually correct?
URL: , |
|
