A preconditioned inverse iteration with an improved convergence guarantee | Synapse