Il redirect PHP con la funzione HEADER() salta se prima del redirect stesso c'è stato un qualsiasi output, fosse anche una echo di uno spazio bianco.

ob_start(), come ti è stato giustamente suggerito, serve per creare l'output in un buffer, cioè senza far lanciare gli header della pagina HTML prima del redirect.

Se non riesci a farlo funzionare, puoi provare con un redirect in JS.... ma visto che siamo nel forum di PHP, ti consiglio di fare qualche prova prima!