https://peeterjoot.com/2015/07/06/schwartz-inequality-in-bra-ket-notation/