Blog d’en Xavi

M’agradaria que algú m’ajudàs amb aquests dos problemes:

1. Trobar una bona fita superior d’a i b nombres naturals que satisfan .

Cerc una demostració elegant (4 o 5 línies). En tenc una però és més llarga.

2. Quin nom té aquesta estructura següent?: Tenim (A, *),(A,·),(A, |) tres monoides que satisfan: (a|b)·(c|d) = (a*b)*(c*d).

Qualcú me pot ajudar? Gràcies.