Mini recorder will only capture up to 2160P30.. Your PS4 will do 50 or 60?!
So you need to put down the framerate if you want to go 4K.
Or buy a Decklink 4K Extreme ($895) to get 2160P60
HD Video Standards
720p50, 720p59.94, 720p60
1080p23.98, 1080p24, 1080p25, 1080p29.97, 1080p30, 1080p50, 1080p59.94, 1080p60
1080PsF23.98, 1080PsF24, 1080PsF25, 1080PsF29.97, 1080PsF30
1080i50, 1080i59.94, 1080i60
2K Video Standards (SDI ONLY)
2K DCI 23.98p, 2K DCI 24p, 2K DCI 25p
2K DCI 23.98PsF, 2K DCI 24PsF, 2K DCI F25PsF
Ultra HD Video Standards
2160p23.98, 2160p24, 2160p25, 2160p29.97, 2160p30