Could anybody take a look at my question about finding the maximum of a sum of minima inside a Lebesgue integral? https://mathoverflow.net/q/338619/91890.
Thanks in advance to everyone who takes a look!