Efficient Optimal PAC Learning