Arrow's impossibility theorem: Concise proof and infinite voters