Lo tienes que poner de la intensidad máxima de diseño de la instalación que, como has dicho, es esta
- Potencia prevista 5,75kW
- Monofásica 230V
...eso corresponde con 5750/230= 25 A
La intensidad nominal del diferencial nada tiene que ver: cómo mínimo tiene que ser la de la intensidad de diseño, pero mayor puedes poner la que te venga en gana, por encima de esa intensidad
Si colocaron el ID de 40 A, y no el de 25 A que le correspondería, posiblemente haya sido debido a que es más barato, ya que su precio va en función de la rotación en el almacén, de ahí que algunos almacenes ni acopian el de 25 A
Si a futuro tuvieras previsto aumentar potencia ( con una DI de 16 mm2, si la longitud es menor de 22 m podías llegar a 40A) colocarías el de 40 A PERO entonces habría que dejar el ICP en cabecera (por eso antes de quitarlo hay que valorar todos esos supuestos)