matematika rovnice a nerovnice jiri herman