x,y∈N ve z tek sayı olmak üzere;
İki doğal sayının çarpımının en büyük değeri isteniyor.
x.y ifadesinin en büyük değeri için x=y olmalıdır.
Ancak x=y olursa z çift olur.
Hem çarpımın en büyük değerini istediği hem de z’nin tek olmasını istediği için x ve y’yi ardışık alırsak koşullar sağlanır.
x=y+1 veya y=x+1 olmak üzere;
2y+1=z
y=z-1/2
x=z+1/2
x.y=z^2-1/4 olur.