Thermodynamic product formula for a Taub–NUT black hole