superchunk on 27 July 2013
Updated OP to account for new information on PS4 memory allocation between games and os.
4GB for games plus up to additional 1GB of flex memory. 3GB reserved for OS.
http://www.neogaf.com/forum/showthread.php?t=636106