"Finding a non-rational real zero of a polynomial function"