OLPF is made for 5K, system is tuned to 5K.
OLPF is tuned to the pixel size rather than the resolution so you'd essentially pick the same olpf if you had a 2k sensor also.
One could choose a weaker olpf to get more apparent resolution but at the trade off of more aliasing and moire.