Formalmente el problema se plantea así: