there is no proved real random generator algorithm

Only sudo-random generator is available. 5000 non-repeating is not difficult.

If user is really not satisfied with general rand(), then use rand(timestamp) to generate a seed, and use CBC encryption to generate rest of numbers. Again the algorithm doesn't guarantee you anything, but you can use a silly search to find if there is any duplicated number. 5000 is not a big data.