m^2+n^2/2>m+n-1
jest prawdziwa dla wszystkich liczb rzeczywistyxh m i n