>>753
 (√5 + √3)^2 = 8 + 2√15
 = 8 + 8√(1 - 1/16)
 ≦ 8 + 8(1 - 1/32)
 = 16 - 1/4
 = 16(1 - 1/64),

 √5 + √3 ≦ 4(1 - 1/128) = 4 - 1/32 = 3.96875

 √5 + √3 = 3.968118785