Всегда верно неравенство:

(a-1)^2>=0

a^2-2a+1>=0

1. a^2+1>=2a

Аналогично:

2. b^2+1>=2b

Переумножим неравенства 1 и 2:

(a^2+1)(b^2+1)>=2a*2b

(a^2+1)(b^2+1)>=4ab

a^2b^2 +a^2 +b^2 +1 >=4ab

Что и требовалось доказать.