Proof that Recall ≥ F1-score I need to prove mathematically that the value of Recall is always bigger or equal to the F1-score.
The equation would be: $2 \times Precision \times \frac{Recall}{(Precision + Recall)} \le Recall$
Does someone have an idea how I can prove this mathematically?

You can prove this mathematically by using the definition of precision and recall and the equation for the F1-score. Here is a proof:
First, let's define precision and recall:
Precision is the number of true positives divided by the total number of predicted positives.
Recall is the number of true positives divided by the total number of actual positives.
Now let's write the equation for the F1-score:
F1 = 2 * Precision * Recall / (Precision + Recall)
To prove that the recall value is always greater than or equal to the F1-score, we need to show that the numerator of the F1-score equation is always less than or equal to the denominator. In other words, we need to show that:
2 * Precision * Recall <= Precision + Recall
To do this, we can first multiply both sides of the equation by Precision + Recall, giving us:
2 * Precision * Recall * (Precision + Recall) <= (Precision + Recall)^2
Next, we can expand the right-hand side of the equation using the formula for the square of a sum:
(Precision + Recall)^2 = Precision^2 + 2 * Precision * Recall + Recall^2
Substituting this into the previous equation, we get:
2 * Precision * Recall * (Precision + Recall) <= Precision^2 + 2 * Precision * Recall + Recall^2
Now, we can move all the terms with Precision and Recall to the left-hand side of the equation, and all the constant terms to the right-hand side, giving us:
2 * Precision * Recall * (Precision + Recall) - Precision^2 - 2 * Precision * Recall - Recall^2 <= 0
Next, we can simplify the left-hand side of the equation by combining like terms and factoring out Precision and Recall:
(2 * Precision * Recall - Precision^2 - Recall^2) * (Precision + Recall) <= 0
Finally, we can apply the difference of squares factorization to the left-hand side of the equation:
(Precision + Recall) * (Precision - Recall) * (Precision + Recall) <= 0
Since the product of three numbers is always less than or equal to zero if one of the numbers is less than or equal to zero, we can see that the left-hand side of the equation is always less than or equal to zero. Therefore, the original equation is always true, which means that the recall value is always greater than or equal to the F1-score.
This completes the proof.
