IPx4* will definitely meet the wiring regs requirements.
In fact, there may be no need for any extra IP protection if the ceiling is over 2.25m high.
It is all down to the room and conditions expected. If you spray the ceiling every day, then a higher rating should be used.
I’d suggest getting IPx5 for above the bath, though it can be argued that the extra protection will not be required for a domestic bathroom.
IPx4 and x5 lights can be physically slightly different – the IPx5 sometimes have a smaller lens, to allow for a bigger seal.
*The first number is for solids protection, the 2nd for water, so it doesnt matter what the first number is, it is the 2nd that counts for bathrooms, but they are usually IP44/54/65 etc.
Make sure they are fire rated too, and give them plenty of space around the fitting above the ceiling. I’d recommend LED lamps too – far cooler and cost less to run.