You can think of 1 as the "empty product" (or the "neutral element of multiplication" if you want to be fancy). 2^x means you have x factors of 2. If you have 0 factors, you have the "empty product"