Does this temperature look right?

[pumaz]

Sorry for having to ask but I've not dabbled in PC's for the last few years but my son has just built his first PC which consists of I7 9700k, asrock z390 pro4 and coolermaster masterliquid ml240l rgb. He says his idling temperature in bios is at 40 to 42 and says it's too high.

What temperature should it be and what besides applying new thermal paste can I do to bring it down?

Thanks

 

[pumaz]

Thanks guys, went around to my sons to take a look and the daft lad hadn’t connected the cooler properly, it was literally loose and he was very lucky not to have caused damage but it’s all sorted now