This expository note uses Hilbert's "infinite hotel", a hotel where one can always find place for another guest even if the hotel is already full, to illustrate the failure of the First Welfare Theorem in "large-square" economies that have infinitely many participants as well as infinitely many...