Fractional Knapsack Problem Greedy Proof