Lower bound on the proper lengths of stationary bound-state charged massive scalar clouds | Synapse