Kita peroleh y sama dengan tiga puluh lima dikurang lima x. Dengan urutan x kurang dari atau sama dengan y kurang dari atau sama dengan z, didapat dua kondisi. Pertama, x kurang dari atau sama dengan tiga puluh lima dikurang lima x yang menghasilkan x kurang dari atau sama dengan lima koma delapan tiga. Kedua, tiga puluh lima dikurang lima x kurang dari atau sama dengan empat x yang menghasilkan x lebih dari atau sama dengan tiga koma delapan delapan.