weberdarren97 :
There is a very light form of a filesystem built into RAM, or so my instructor says.
Formatting has confused users for years.
Lets start by saying that hard drive makers rate things is human friendly 1000's so 1000bytes in a kilobyte and 1000 kilobytes is a megabyte and so on.
Now computers(up until more recently if you look at the big picture) have used 1024(a very computer friendly setup) so it takes 1024 bytes to make a kilobyte and 1024 kilobytes to make a megabyte.
Over time many operating systems have switched to using KiB kibibyte(the standard popped up in 98, but you know we are slow to adapt). Windows still uses 1024.
This has over the years lead to MANY users claiming formatting is the reason why drives loose space, but it is mostly the conversion from 1000 to 1024 that makes the difference. The file system does take some space with its master file table or equivalent, but that does not actually make the partition smaller show up as smaller, it simply takes space like a file(you can even see the MFT in many 3rd party fragmentation tools).
This is also the reason a 5.83 gigabyte(GiB) file is 6267076608 bytes
6267076608/1024/1024/1024=5.83(with some extra accurate 6669921875 for fun)
Back on topic.
If it is available, chances are something in the bios is holding it. You could look for a memory remap feature, but I do not think it is needed with 4 gigabytes.