Total Boundedness of Products