How much memory is needed for leader election