But $ 4 - \sqrt13 > 0 $ since $ \sqrt13 < 4 $, so yes. - AMAZONAWS 📅 March 6, 2026 👤 scraface Mar 06, 2026