Thanks for posting your question in the Microsoft Q&A forum.
It's wise to leave some buffer space. Your proposed 5000 GB provides about 1000 GB of free space, which is a good practice for future growth and temporary operations.
Ensure you monitor your storage usage closely after the reduction to avoid running out of space unexpectedly.
Please don't forget to close up the thread here by upvoting and accept it as an answer if it is helpful