  We prove that certain $L^p$-regularity functional inequality holds on
\emph{generalized Sierpi\'nski carpets}. This gives an affirmative answer to an
open question raised by Fabrice Baudoin. Our technique originates from an old
idea of Alf Jonsson in 1996.
