¿al menos un racional es irracional?

No: por definición los números irracionales son los números reales que no son racionales.