In this letter, we formulate a downlink packet scheduling problem for proportional fairness in orthogonal frequency division multiple access with frequency division multiple access (OFDMA) systems to derive necessary conditions for optimality, which results in efficient subcarrier and power allocation algorithms. Simulation results reveal that our proposed algorithm achieves the tradeoff between system throughput and fairness.