It is really hard to measure developers productivity and nobody knows how to do that with a good precision. But in general I agree that top developers should be paid good money, like 2 times less then CEO.