Regex HTML Codigo Postal

Estoy intentando realizar un patrón para un código postal, pero no consigo realizarlo. Quiero que sea un numero de 5 digitos que sea entre 01000 y 52999.
El código que tengo ahora mismo es el siguiente:

        <input type="text"  pattern="[01000-52999]{5}d" name="codigoPostalDisco"> <br>