A 4-inch diameter building drain with a slope of 1/8 inch per foot is connected to a public sewer. What is the minimum required size for the building sewer?