Envy-free cake divisions cannot be found by finite protocols. Stromquist, Walter (2008) The Electronic Journal of Combinatorics [electronic only]