read N: n8;

write 1n8 <= N <= N * 2n8 - 4n8;