Suppose the values are:
r1 r2 r3 r4 r5 r6 r7
are the catches, starting from the lowest r1 to the greatest r7.
r1<r2<r3<r4<r5<r6<r7
You have 100 fish total, so derive the equation:
r1 + r2 + r3 + r4 + r5 + r6 + r7 = 100 (1)
Since r1-r7 are different integers, derive the inequalities:
r1 ≤ r2 - 1 or (2) r2 ≥ r1 + 1
r2 ≤ r3 - 1 r3 ≥ r2 + 1
r3 ≤ r4 - 1 r4 ≥ r3 + 1
r4 ≤ r5 - 1 r5 ≥ r4 + 1
r5 ≤ r6 - 1 r6 ≥ r5 + 1
r6 ≤ r7 - 1 r7 ≥ r6 + 1
Step one:
Combine the inequalities 2(by adding their parts) to get r7 on the left part:
(3) Add all of them
r2 + r3 + r4 + r5 + r6 + r7 ≥ r1 + r2 + r3 + r4 + r5 + r6 + 6
-> r7 ≥ r1 + 6
add the last 5
r3 + r4 + r5 + r6 + r7 ≥ r2 + r3 + r4 + r5 + r6 + 5
-> r7 ≥ r2 + 5
add the last 4
r4 + r5 + r6 + r7 ≥ r3 + r4 + r5 + r6 + 4
-> r7 ≥ r3 + 4
add the last 3
r5 + r6 + r7 ≥ r4 + r5 + r6 + 4
-> r7 ≥ r4 + 3
add the last 2
r6 + r7 ≥ r5 + r6 + 4
-> r7 ≥ r5 + 2
Use the last one as is:
r7 ≥ r6 + 1
You can combine the equation 1 with the inequalities 3, by adding them, left parts and right parts separately:
r1 + r2 + r3 + r4 + r5 + r6 + r7 + 6r7 ≥ 100 + r1 + 6 + r2 + 5 + r3 + 4 + r4 + 3 + r5 + 2 + r6 + 1
-> 7r7 ≥ 121
-> r7 ≥ 17,28
Since r7 is an integer, this means r7 ≥ 18. (4)
Step 2:
Combine the inequalities 2(by adding their parts) to get r6 on the left part:
Add the first 5
r2 + r3 + r4 + r5 + r6 ≥ r1 + r2 + r3 + r4 + r5 + 5
-> r6 ≥ r1 + 5
Add the 2nd to 5th:
r3 + r4 + r5 + r6 ≥ r2 + r3 + r4 + r5 + 4
-> r6 ≥ r2 + 4
Add the 3rd to 5th:
r4 + r5 + r6 ≥ r3 + r4 + r5 + 3
-> r6 ≥ r3 + 3
Add the 4th to 5th:
r5 + r6 ≥ r4 + r5 + 2
-> r6 ≥ r4 + 2
Keep the 5th as is:
r6 ≥ r5 + 1
Combine equation 1 with these inequalities:
r1 + r2 + r3 + r4 + r5 + r6 + 5r6 + r7 ≥ 100 + r1 + 5 + r2 + 4 + r3 + 3 + r4 + 2 + r5 + 1
-> 6r6 + r7 ≥ 115 (5)
From step 1, we got
r7 ≥ 18
-> 5r7 ≥ 90 (6)
Combining inequalities 5 & 6:
6r6 + r7 + 5rt7 ≥ 115 + 90
6(r6 + r7) ≥ 205
r6 + r7 ≥ 34,16
So r6 + r7 ≥ 35 (7)
Step 3
Combine the inequalities 2 to get r5 on the left part:
Add the first 4
r2 + r3 + r4 + r5 ≥ r1 + r2 + r3 + r4 + 4
-> r5 ≥ r1 + 4
Add the 2nd to 4th:
r3 + r4 + r5 ≥ r2 + r3 + r4 + 3
-> r5 ≥ r2 + 3
Add the 3rd to 5th:
r4 + r5 ≥ r3 + r4 + 2
-> r5 ≥ r3 + 2
Keep the 4th as is:
r5 ≥ r4 + 1
Combine equation 1 with the above 4 inequalities:
r1 + r2 + r3 + r4 + r5 + r6 + r7 + 4r5 ≥ 100 + r1 + 4 + r2 + 3 + r3 + 2 + r4 + 1
-> 5r5 + r6 + r7 ≥ 110 (8)
From step 2, we got the inequality 7:
r6 + r7 ≥ 35
-> 4(r6 + r7) ≥ 140 (9)
Finally combine inequalities 8 & 9:
5r5 + r6 + r7 + 4(r6 + r7) ≥ 110 + 140
-> 5(r5 + r6 + r7) ≥ 250
-> r5 + r6 + r7 ≥ 50 (10)
So this last inequality 10 proves that the sum of the 3 greatest
"catches" will be at least 50.