Anything larger than 4k is apt to slow down Poser. I have seen it with 5-8k HDRI. If you are looking for sharpness 3k should be enough. Unfortunately, HDRShop is no longer available to down-size large images to a manageable resolution.