(n_1)^r_1+(n_2)^r_2+...+(n_m)^r_m is irretional, where n_1...n_m are positive integers and r_1...r_n are positive, non-integers.