The bitrate is a literal measure of how many bits per second are used to express
the waveform. The difference in size is a direct consequence of that rate,
therefore a 1440 kilobit MP3 would be the exact same size as a redbook stream.
The uncompressed wave file you mention is encoded at exactly 1440 kilobits per
second if it is the exact same size.