We study two questions. When does a function belong to the
union of Lebesgue spaces, and when does a function have an
majorant? We provide a systematic study of these questions and show
that they are fundamentally related. We show that the union of
spaces
with
is equal to the union of all Banach function spaces for which the Hardy–Littlewood
maximal function is bounded on the space itself and its associate space.