A video about root3 is not rational