Kĩ thuật hàm số giải phương trình, bất phương trình vô tỷ