A Non-$\mathbb{R}$-Factorizable Product of $\mathbb{R}$-Factorizable Groups

An example of two $\mathbb{R}$-factorizable groups whose product is not $\mathbb{R}$-factorizable is constructed. One of these groups is second-countable and the other Lindelöf to any finite power.