Text this: Optimal Inequalities Characterizing Totally Real Submanifolds in Quaternionic Space Form