 In the Fall of 1963 Easton completed the picture by showing that for infinite regular cardinals κ the only constraints on the function κ ↦ 2κ that are provable in ZFC are the trivial constraint and the results of Cantor and König: 