[math-fun] Half of Menger's Sponge