La capacidad que falta no es tanto debido al formateo o al sistema operativo como a que los fabricantes computan 1 Mb como 1.000.000 bytes cuando en realidad son 1.048.576 bytes. 1024 bytes son 1 kb y 1 Mb son 1024 kb.
Así si haces las cuentas tienes que 1.000.000 x 4 = 4.000.000 bytes.
4.000.000/1024/1024 = 3,81Mb - S.O = 3.7Mb.
Saludos.