How big will PS4 HDD space be?

[XxPS3_X360xX]

There are no Blu-Ray formats that support 4K, except BD-XL.

And those discs cost more than 100 dollars.

Sony wants to STREAM AND DOWNLOAD 4K content, not read it from a disc. That's too expensive.