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