Formula for calculating the swap partition size during the installation of Red Hat Enterprise Linux